| Tue, 25 Oct 1994 13:15:34 +0100 | wenzelm | minor change of occs_const in dest_defn; | changeset | files |
| Tue, 25 Oct 1994 13:13:52 +0100 | wenzelm | added require_thy; | changeset | files |
| Mon, 24 Oct 1994 10:34:28 +0100 | lcp | HOL,ZF/IMP/Com.thy: tightening precedences to eliminate syntactic ambiguities. | changeset | files |