src/ZF/Resid/Redex.thy
1995-12-09 ago removed quotes from consts and syntax sections
1995-06-22 ago removed \...\ inside strings
1995-04-13 ago New example by Ole Rasmussen