Wed, 22 Sep 2010 09:40:11 +0200 | haftmann | distinguish SML and Eval explicitly | changeset | files |
Tue, 21 Sep 2010 15:46:06 +0200 | haftmann | no_frees_* is subsumed by new framework mechanisms in Code_Preproc | changeset | files |
Tue, 21 Sep 2010 15:46:06 +0200 | haftmann | reject term variables explicitly | changeset | files |
Tue, 21 Sep 2010 15:46:05 +0200 | haftmann | avoid frees and vars in terms to be evaluated by abstracting and applying | changeset | files |
Tue, 21 Sep 2010 15:46:05 +0200 | haftmann | tuned whitespace | changeset | files |
Wed, 22 Sep 2010 10:02:39 +0200 | blanchet | make SML/NJ happier | changeset | files |
Tue, 21 Sep 2010 14:42:29 +0200 | haftmann | more conventional conversion signature | changeset | files |