Mon, 07 Dec 2015 11:25:02 +0100 | Isabelle2014-->15: term_of-->Thm.term_of | file | diff | annotate |
Mon, 07 Dec 2015 10:17:08 +0100 | sabelle2014-->15: cterm_of-->Thm.global_cterm_of | file | diff | annotate |
Thu, 10 Mar 2011 12:45:58 +0100 | intermed.update Isabelle2011: HOL.Trueprop | file | diff | annotate |
Thu, 23 Sep 2010 16:38:25 +0200 | changed 'writeln' --> 'tracing' in src/ and _NOT_ in test/ | file | diff | annotate |
Wed, 25 Aug 2010 16:20:07 +0200 | renamed isac's directories and Build_Isac.thy | file | diff | annotate | base |