src/ZF/func.thy
Fri, 03 Jan 1997 15:01:55 +0100 paulson Implicit simpsets and clasets for FOL and ZF
Mon, 15 Aug 1994 18:04:10 +0200 lcp ZF/func/empty_fun: renamed from fun_empty
Tue, 16 Nov 1993 14:24:21 +0100 clasohm made pseudo theories for all ML files;
less more (0) tip