src/FOL/ex/Prolog.thy
2010-04-23 wenzelm 2010-04-23 mark schematic statements explicitly;
2009-07-09 wenzelm 2009-07-09 removed obsolete CVS Ids;
2008-03-15 wenzelm 2008-03-15 proper antiquotations;
2006-06-07 wenzelm 2006-06-07 removed obsolete ML files;
2005-09-03 wenzelm 2005-09-03 converted to Isar theory format;
1996-02-05 clasohm 1996-02-05 expanded tabs
1995-11-07 clasohm 1995-11-07 removed quotes from types in consts section
1994-05-03 lcp 1994-05-03 removal of obsolete type-declaration syntax
1993-09-16 clasohm 1993-09-16 Initial revision