| Mon, 16 Nov 1998 11:03:35 +0100 | wenzelm | several args parsers; | changeset | files |
| Mon, 16 Nov 1998 11:02:07 +0100 | wenzelm | several args parsers; | changeset | files |
| Mon, 16 Nov 1998 11:00:58 +0100 | wenzelm | removed args, args1, thm_xname; | changeset | files |
| Mon, 16 Nov 1998 10:58:18 +0100 | wenzelm | replaced is_symid by is_sid; | changeset | files |
| Mon, 16 Nov 1998 10:46:06 +0100 | wenzelm | renamed init_context to init; | changeset | files |
| Mon, 16 Nov 1998 10:45:52 +0100 | wenzelm | renamed init_context to init; | changeset | files |
| Mon, 16 Nov 1998 10:44:55 +0100 | wenzelm | structure PureIsar; | changeset | files |
| Mon, 16 Nov 1998 10:44:30 +0100 | wenzelm | removed lift_modifier; | changeset | files |
| Mon, 16 Nov 1998 10:42:40 +0100 | wenzelm | Attribute.thms_of; | changeset | files |
| Mon, 16 Nov 1998 10:41:27 +0100 | wenzelm | Scan.read; | changeset | files |
| 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 |