Fri, 14 Jul 2000 13:57:00 +0200 | paulson | parent should be Main | changeset | files |
Fri, 14 Jul 2000 13:39:03 +0200 | paulson | changed the quotient syntax from / to // | changeset | files |
Thu, 13 Jul 2000 23:26:08 +0200 | wenzelm | tuned cycle_msg; | changeset | files |
Thu, 13 Jul 2000 23:23:24 +0200 | wenzelm | updated; | changeset | files |
Thu, 13 Jul 2000 23:22:26 +0200 | wenzelm | HOL: the disjoint sum is now "<+>" instead of "Plus"; | changeset | files |
Thu, 13 Jul 2000 23:20:57 +0200 | wenzelm | adapted PureThy.add_defs_i; | changeset | files |
Thu, 13 Jul 2000 23:20:33 +0200 | wenzelm | defs (overloaded); | changeset | files |