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 |