Sun, 25 Apr 2021 12:49:37 +0200 | cleanup remaining ^^^ in comments, finished (?) | file | diff | annotate |
Wed, 20 May 2020 12:52:09 +0200 | standard format for string lists | file | diff | annotate |
Sat, 16 May 2020 16:54:39 +0200 | shift code from Specification to P_Model, rename ids | file | diff | annotate |
Thu, 22 Feb 2018 17:55:29 +0100 | LTool: cleanup test file | file | diff | annotate |
Mon, 07 Dec 2015 11:25:02 +0100 | Isabelle2014-->15: term_of-->Thm.term_of | file | diff | annotate |
Wed, 25 Aug 2010 16:20:07 +0200 | renamed isac's directories and Build_Isac.thy | file | diff | annotate | base |