| Wed, 18 May 2011 15:45:33 +0200 | bulwahn | adding theory to force code generation of ordering on characters to built-in ordering of characters in target languages | file | diff | annotate |
| Wed, 18 Aug 2010 09:46:59 +0200 | haftmann | removed Code_Prolog: modifies global environment setup non-conservatively | file | diff | annotate |
| Tue, 03 Aug 2010 16:57:45 +0200 | wenzelm | renamed funny Library ROOT files back to default ROOT.ML -- ML files are no longer located via implicit load path (cf. 2b9bfa0b44f1); | file | diff | annotate | base |
| Thu, 31 May 2001 16:52:54 +0200 | oheimb | added Library/Nat_Infinity.thy and Library/Continuity.thy | file | diff | annotate |
| Sun, 04 Feb 2001 19:43:32 +0100 | wenzelm | tuned | file | diff | annotate |
| Fri, 26 Jan 2001 15:50:52 +0100 | nipkow | Merged Example into While_Combi | file | diff | annotate |
| Wed, 18 Oct 2000 23:31:16 +0200 | wenzelm | "The Supplemental Isabelle/HOL Library"; | file | diff | annotate |