src/ZF/Int.thy
Sun, 24 Jun 2018 15:57:48 +0200 wenzelm simplified ZF theory names (in contrast to 6a0801279f4c): session-qualification already achieves disjointness;
Sun, 07 Oct 2007 21:19:31 +0200 wenzelm modernized specifications;
Thu, 31 May 2007 12:06:31 +0200 wenzelm moved Integ files to canonical place;
less more (0) tip