Wed, 03 Feb 1999 17:23:04 +0100 | wenzelm | Theory presentation (fake implementation); | changeset | files |
Wed, 03 Feb 1999 17:21:12 +0100 | wenzelm | moved to Pure/context.ML; | changeset | files |
Wed, 03 Feb 1999 17:20:55 +0100 | wenzelm | nuked; | changeset | files |
Wed, 03 Feb 1999 17:20:35 +0100 | wenzelm | moved to General/use.ML; | changeset | files |
Wed, 03 Feb 1999 17:20:09 +0100 | wenzelm | removed load; | changeset | files |
Wed, 03 Feb 1999 16:50:31 +0100 | wenzelm | ThyInfo.begin_theory; | changeset | files |