Thu, 11 Sep 2014 21:11:03 +0200 | blanchet | fixed some spelling mistakes | file | diff | annotate |
Mon, 18 Aug 2014 17:19:58 +0200 | blanchet | reordered some (co)datatype property names for more consistency | file | diff | annotate |
Wed, 12 Feb 2014 08:35:57 +0100 | blanchet | renamed 'nat_{case,rec}' to '{case,rec}_nat' | file | diff | annotate |
Wed, 12 Feb 2014 08:35:57 +0100 | blanchet | renamed '{prod,sum,bool,unit}_case' to 'case_...' | file | diff | annotate |
Wed, 12 Feb 2014 08:35:56 +0100 | blanchet | adapted theories to '{case,rec}_{list,option}' names | file | diff | annotate |
Sun, 07 Jul 2013 20:23:09 +0200 | wenzelm | reduced number of old manuals: chapter HOL is back again to the Logics manual by Larry; | file | diff | annotate | base |