removed ancient constdefs command

put expand_(fun/set)_eq back in as synonyms, for compatibility

set up Nil and Cons to work as fixrec patterns

merged

updated generated document

only write ghc pragma when writing to a file

added flat_program; tuned signature

dropped ancient deresolve_base; plain_const_syntax also needs modification of instance statement

moved flat_program to code_namespace

dropped outdated substitution

Haskell uses generic flat_program combinator

factored out build_module_namespace

added generic flat_program procedure

using the proposed modes for starting the fixpoint iteration in the mode analysis

merged

renamed expand_*_eq in HOLCF as well

expand_fun_eq -> ext_iff expand_set_eq -> set_ext_iff Naming in line now with multisets

merged

lower expectation in Reg exp example

renewing specification in example file; adding invocation in example file

handling collection of simprules as sets rather than as lists

stating errors in error messages more verbose in predicate compiler

raising an exception instead of guessing some reasonable behaviour for this function

using linear find_least instead of sorting in the mode analysis of the predicate compiler

adding code attribute to definition of equality of finite sets for executability of equality of finite sets

adapting example files

adding the Reg_Exp example

towards time limiting the prolog execution

adding IMP quickcheck examples

adding the CFG example to the build process