src/ZF/AC/recfunAC16.thy
Fri, 03 Jan 1997 15:01:55 +0100 paulson Implicit simpsets and clasets for FOL and ZF
Tue, 06 Feb 1996 12:27:17 +0100 clasohm expanded tabs
Sat, 09 Dec 1995 13:36:11 +0100 clasohm removed quotes from consts and syntax sections
Fri, 28 Jul 1995 11:20:22 +0200 lcp Ran expandshort and changed spelling of Grabczewski
Tue, 25 Jul 1995 17:31:53 +0200 lcp Numerous small improvements by KG and LCP
less more (0) tip