| Tue, 16 Nov 1993 14:26:15 +0100 | clasohm | changed use_thy's parameter to exact theory name | changeset | files |
| Tue, 16 Nov 1993 14:24:21 +0100 | clasohm | made pseudo theories for all ML files; | changeset | files |
| Tue, 16 Nov 1993 14:23:19 +0100 | clasohm | moved call of store_theory to end of use t.thy; use t.ML; | changeset | files |