src/CTT/ex/Typechecking.thy
2010-04-23 wenzelm 2010-04-23 mark schematic statements explicitly;
2010-03-13 wenzelm 2010-03-13 removed old CVS Ids; tuned headers;
2006-06-02 wenzelm 2006-06-02 removed obsolete ML files;