src/ZF/Coind/Types.thy
1995-12-09 ago removed quotes from consts and syntax sections
1995-06-22 ago removed \...\ inside strings
1995-03-07 ago Replaced rules by defs. Also got rid of tyconstU by
1995-02-28 ago New example by Jacob Frost, tidied by lcp