Thu, 22 Dec 2016 11:36:20 +0100 | renamed Ctree.ptree --> Ctree.ctree | file | diff | annotate |
Mon, 07 Dec 2015 11:25:02 +0100 | Isabelle2014-->15: term_of-->Thm.term_of | file | diff | annotate |
Wed, 08 Sep 2010 16:47:22 +0200 | tuned src + test | file | diff | annotate |
Wed, 25 Aug 2010 16:20:07 +0200 | renamed isac's directories and Build_Isac.thy | file | diff | annotate | base |