src/ZF/Constructible/Rank.thy
2006-11-17 wenzelm 2006-11-17 more robust syntax for definition/abbreviation/notation;
2006-11-07 wenzelm 2006-11-07 tuned specifications;
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2002-11-19 paulson 2002-11-19 stylistic tweaks
2002-10-14 paulson 2002-10-14 tidying and reorganization
2002-10-09 paulson 2002-10-09 Re-organization of Constructible theories