Fri, 15 Jul 2016 15:19:04 +0200 | wenzelm | misc tuning and modernization; | file | diff | annotate |
Thu, 23 Jul 2015 14:25:05 +0200 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
Sun, 02 Nov 2014 18:21:45 +0100 | wenzelm | modernized header uniformly as section; | file | diff | annotate |
Sat, 13 Mar 2010 16:44:12 +0100 | wenzelm | removed old CVS Ids; | file | diff | annotate |
Fri, 16 Sep 2005 23:01:29 +0200 | wenzelm | converted to Isar theory format; | file | diff | annotate |
Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
Tue, 14 Nov 2000 13:25:59 +0100 | paulson | new Main.thy as in HOL, ZF | file | diff | annotate |