Stub for type encoded properties.
Add type encoded properties.
Stub for GADT formula type.
Add alternative Formula GADT.
'Not' does not need a variable.
Add 'freeVars' for GADT.
Add documentation.
Stub file for algorithms for GADT 'Formula's.
Merge branch 'master' into typespec
Merge branch 'master' into gadt
More precise specification for 'Forall'.
Merge branch 'typespec' into gadt
Allow more relaxed 'Forall' constructor.
'Forall' became too relaxed.
Merge branch 'master' into gadt
Revert the 'Forall' change.
Merge branch 'master' into gadt
Merge branch 'master' into gadt
Rewrite specification to resemble logic-agda one.
Added QType ordering.