| 2014-09-09 | blanchet | 2014-09-09 | use 'datatype_new' (soon to be renamed 'datatype') in Isabelle's libraries | file | diff | annotate |
| 2012-01-05 | wenzelm | 2012-01-05 | improved case syntax: more careful treatment of position constraints, which enables PIDE markup; tuned; | file | diff | annotate |
| 2011-03-29 | wenzelm | 2011-03-29 | tuned headers; | file | diff | annotate |
| 2011-01-04 | huffman | 2011-01-04 | change some lemma names containing 'UU' to 'bottom' | file | diff | annotate |
| 2010-12-15 | huffman | 2010-12-15 | add notsqsubseteq syntax | file | diff | annotate |
| 2010-11-27 | huffman | 2010-11-27 | moved directory src/HOLCF to src/HOL/HOLCF; added HOLCF theories to src/HOL/IsaMakefile; | file | diff | annotate | base |