| Fri, 14 Jul 2000 14:47:15 +0200 | paulson | moved sublist from UNITY/AllocBase to List | changeset | files |
| Fri, 14 Jul 2000 14:46:35 +0200 | paulson | AddIffs | changeset | files |
| 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 |