src/ZF/Coind/Map.ML
Tue, 30 Jan 1996 13:42:57 +0100 clasohm expanded tabs
Fri, 28 Apr 1995 11:31:33 +0200 lcp Modified proofs for new claset primitives. The problem is that they enforce
Thu, 06 Apr 1995 12:22:26 +0200 lcp Modified proofs for new hyp_subst_tac, and simplified them.
Mon, 27 Feb 1995 18:12:21 +0100 lcp New example by Jacob Frost, tidied by lcp
less more (0) tip