| Thu, 21 Oct 1993 17:20:01 +0100 | lcp | Pure/drule/print_goals_ref: new, for Centaur interface | changeset | files |
| Thu, 21 Oct 1993 17:10:15 +0100 | lcp | /NJ,POLY/delete_file: new | changeset | files |
| Thu, 21 Oct 1993 14:59:54 +0100 | lcp | simpdata/basify: now calls new fastype_of | changeset | files |
| Thu, 21 Oct 1993 14:56:12 +0100 | lcp | logic/mk_equals,mk_flexpair: now calls fastype_of instead of type_of. | changeset | files |
| Thu, 21 Oct 1993 14:47:48 +0100 | lcp | now calls new fastype_of in three places | changeset | files |
| Thu, 21 Oct 1993 14:40:06 +0100 | lcp | Pure/Syntax/printer/is_prop: now calls fastype_of1 | changeset | files |
| Thu, 21 Oct 1993 14:38:06 +0100 | lcp | Pure/term/fastype_of1: renamed from fastype_of | changeset | files |
| Sun, 17 Oct 1993 18:03:47 +0100 | clasohm | renamed: S4.thy to s4.thy, S43.thy to s43.thy, T.thy to t.thy | changeset | files |