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 |
Wed, 12 Feb 2014 08:35:56 +0100 | blanchet | se 'wrap_free_constructors' to register 'sum' , 'prod', 'unit', 'bool' with their discriminators/selectors | file | diff | annotate |
Wed, 25 Dec 2013 17:39:06 +0100 | haftmann | prefer more canonical names for lemmas on min/max | file | diff | annotate |
Wed, 04 Apr 2012 20:10:21 +0200 | Cezary Kaliszyk | HOL/Import more precise map types | file | diff | annotate |
Sun, 01 Apr 2012 14:50:47 +0200 | Cezary Kaliszyk | Modernized HOL-Import for HOL Light | file | diff | annotate |