src/ZF/ex/ListN.thy
1995-12-09 ago removed quotes from consts and syntax sections
1994-08-12 ago installation of new inductive/datatype sections