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 |