src/FOL/ex/Nat_Class.thy
2 months ago ago misc tuning and modernization;
4 months ago ago isabelle update_inner_syntax_cartouches;
4 months ago ago tuned;
2016-01-01 ago isabelle update_cartouches -c -t;
2015-07-23 ago isabelle update_cartouches;
2011-08-30 ago tuned document;
2009-02-16 ago tuned;
2009-02-16 ago modernized some theory names;