src/ZF/ex/Ramsey.thy
Thu, 22 Jun 1995 17:13:05 +0200 clasohm removed \...\ inside strings
Tue, 29 Nov 1994 00:31:31 +0100 lcp replaced "rules" by "defs"
Thu, 07 Oct 1993 11:47:50 +0100 lcp used ~: for "not in"
Thu, 16 Sep 1993 12:20:38 +0200 clasohm Initial revision
less more (0) tip