src/ZF/Coind/Map.thy
1995-12-09 ago removed quotes from consts and syntax sections
1995-03-07 ago Replaced rules by defs
1995-02-27 ago New example by Jacob Frost, tidied by lcp