src/ZF/Perm.thy
1995-12-09 ago removed quotes from consts and syntax sections
1995-06-22 ago removed \...\ inside strings
1994-11-29 ago replaced "rules" by "defs"
1993-11-16 ago made pseudo theories for all ML files;
1993-09-16 ago Initial revision