| Sun, 17 Jul 2011 19:48:02 +0200 | haftmann | moving UNIV = ... equations to their proper theories | changeset | files |
| Sun, 17 Jul 2011 15:15:58 +0200 | haftmann | further generalization from sets to complete lattices | changeset | files |
| Sun, 17 Jul 2011 14:21:19 +0200 | blanchet | fixed lambda-liftg: must ensure the formulas are in close form | changeset | files |
| Sun, 17 Jul 2011 14:12:45 +0200 | blanchet | ensure that the lambda translation procedure is called only once with all the facts, which is necessary for soundness of lambda-lifting (freshness of new names) | changeset | files |
| Sun, 17 Jul 2011 14:11:35 +0200 | blanchet | pass kind to lambda-translation function | changeset | files |
| Sun, 17 Jul 2011 14:11:35 +0200 | blanchet | more refactoring of preprocessing | changeset | files |
| Sun, 17 Jul 2011 14:11:35 +0200 | blanchet | more refactoring of preprocessing, so as to be able to centralize it | changeset | files |