| Mon, 16 Nov 1998 10:41:08 +0100 | wenzelm | added read; | changeset | files |
| Mon, 16 Nov 1998 10:40:23 +0100 | wenzelm | tuned usage of read; | changeset | files |
| Mon, 16 Nov 1998 10:39:30 +0100 | paulson | generalized JN_empty and added reachable_SKIP | changeset | files |
| Mon, 16 Nov 1998 10:37:54 +0100 | paulson | removed the reference to mesontest2.ML, itself now deleted | changeset | files |
| Mon, 16 Nov 1998 10:36:30 +0100 | paulson | moved some facts about Pi from ex/PiSets to Fun.ML | changeset | files |
| Sat, 14 Nov 1998 13:26:11 +0100 | wenzelm | prefixed op; | changeset | files |
| Sat, 14 Nov 1998 13:25:34 +0100 | wenzelm | Theory.copy; | changeset | files |