src/Doc/IsarRef/HOL_Specific.thy
2013-06-15 haftmann 2013-06-15 documentation on code_printing and code_identifier
2013-01-14 kuncar 2013-01-14 more update on Lifting in isar-ref
2013-01-14 kuncar 2013-01-14 update isar-ref for Quotient and Lifting package
2012-11-30 wenzelm 2012-11-30 added 'print_inductives' command;
2012-11-20 wenzelm 2012-11-20 some documentation for "algebra" in HOL;
2012-11-17 wenzelm 2012-11-17 tuned structure of Isabelle/HOL;
2012-10-31 blanchet 2012-10-31 removed "refute" command from Isar manual, now that it has been moved outside "Main"
2012-10-12 wenzelm 2012-10-12 simplified 'typedef' specifications: discontinued implicit set definition and alternative name;
2012-10-12 wenzelm 2012-10-12 discontinued obsolete typedef (open) syntax;
2012-10-10 wenzelm 2012-10-10 eliminated some remaining uses of typedef with implicit set definition;
2012-08-28 wenzelm 2012-08-28 renamed doc-src to src/Doc; renamed TutorialI to Tutorial;