src/ZF/ord.thy
Tue, 16 Nov 1993 14:24:21 +0100 clasohm made pseudo theories for all ML files;
Wed, 06 Oct 1993 09:58:53 +0100 lcp Retrying yet again after network problems
Thu, 16 Sep 1993 12:20:38 +0200 clasohm Initial revision
less more (0) tip