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 |
Fri, 21 Oct 1994 09:58:05 +0100 | lcp | ZF/intr_elim/elim_rls: now includes Pair_inject, since coinductive | changeset | files |