• Andrei Paskevich's avatar
    separate abstract types and logic symbols · 1b769a78
    Andrei Paskevich authored
    - put abstract types and aliases in Dtype of tysymbol
    - put (recursive) algebraic types in Ddata of (ts,constr list) list
    - put abstract function/predicate symbols in Dparam of lsymbol
    - put defined logic symbols in Dlogic of (ls,ls_definition) list
    1b769a78
Name
Last commit
Last update
bench Loading commit data...
bin Loading commit data...
comparison Loading commit data...
doc Loading commit data...
drivers Loading commit data...
examples Loading commit data...
lib Loading commit data...
misc Loading commit data...
modules Loading commit data...
plugins Loading commit data...
share Loading commit data...
src Loading commit data...
tests Loading commit data...
theories Loading commit data...
.gitignore Loading commit data...
CHANGES Loading commit data...
DEVELOPER.readme Loading commit data...
INSTALL Loading commit data...
LICENSE Loading commit data...
META.in Loading commit data...
Makefile.in Loading commit data...
OCAML-LICENSE Loading commit data...
README Loading commit data...
ROADMAP Loading commit data...
TODO Loading commit data...
Version Loading commit data...
configure.in Loading commit data...