| Tue, 06 Apr 2004 12:25:13 +0200 | mehta | *** empty log message *** | changeset | files |
| Mon, 05 Apr 2004 13:30:37 +0200 | skalberg | Whoops. Those default cases can be tricky. | changeset | files |
| Mon, 05 Apr 2004 13:23:10 +0200 | skalberg | Added support for the newer versions of SML/NJ, which break several of the | changeset | files |
| Sun, 04 Apr 2004 15:34:14 +0200 | skalberg | Added a number of explicit type casts and delayed evaluations (all seemingly | changeset | files |
| Fri, 02 Apr 2004 17:40:32 +0200 | nipkow | exposed fast_arith_neq_limit | changeset | files |
| Fri, 02 Apr 2004 17:37:45 +0200 | skalberg | Added HOL proof importer. | changeset | files |