| Thu, 18 Nov 1993 18:48:23 +0100 | lcp | expandshort | changeset | files |
| Thu, 18 Nov 1993 14:57:05 +0100 | lcp | Misc modifs such as expandshort | changeset | files |
| Tue, 16 Nov 1993 19:50:20 +0100 | clasohm | added loaded_thys to signature and removed list_/set_loaded | changeset | files |
| 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 |
| Tue, 16 Nov 1993 14:13:11 +0100 | clasohm | replaced \un by \union in "Simplification sets" | changeset | files |
| Tue, 16 Nov 1993 14:10:19 +0100 | clasohm | changed use_thy's parameter to exact theory name | changeset | files |