| Sat, 15 Sep 2007 19:27:35 +0200 |
fixed title
|
file | diff | annotate |
| Fri, 20 Jul 2007 14:28:25 +0200 |
moved class ord from Orderings.thy to HOL.thy
|
file | diff | annotate |
| Thu, 17 May 2007 19:49:40 +0200 |
canonical prefixing of class constants
|
file | diff | annotate |
| Sat, 30 Dec 2006 16:08:00 +0100 |
removed conditional combinator;
|
file | diff | annotate |
| Wed, 13 Dec 2006 15:45:31 +0100 |
introduced mk/dest_numeral/number for mk/dest_binum etc.
|
file | diff | annotate |
| Thu, 16 Nov 2006 01:07:25 +0100 |
moved some fundamental concepts to General/basics.ML;
|
file | diff | annotate |
| Fri, 20 Oct 2006 17:07:26 +0200 |
slight cleanup
|
file | diff | annotate |
| Wed, 04 Oct 2006 14:14:33 +0200 |
*** empty log message ***
|
file | diff | annotate |
| Fri, 31 Mar 2006 10:53:33 +0200 |
removed some illegal characters: they were crashing SML/NJ
|
file | diff | annotate |
| Fri, 17 Mar 2006 09:34:23 +0100 |
renamed op < <= to Orderings.less(_eq)
|
file | diff | annotate |
| Fri, 10 Mar 2006 15:33:48 +0100 |
renamed HOL + - * etc. to HOL.plus HOL.minus HOL.times etc.
|
file | diff | annotate |
| Sat, 17 Sep 2005 18:11:25 +0200 |
removed obsolete BasisLibrary;
|
file | diff | annotate |
| Thu, 14 Jul 2005 19:28:18 +0200 |
improved oracle setup;
|
file | diff | annotate |
| Sun, 05 Jun 2005 11:31:21 +0200 |
File.shell_path;
|
file | diff | annotate |
| Mon, 16 May 2005 10:29:15 +0200 |
Use of IntInf.int instead of int in most numeric simprocs; avoids
|
file | diff | annotate |
| Fri, 04 Mar 2005 15:07:34 +0100 |
Removed practically all references to Library.foldr.
|
file | diff | annotate |
| Thu, 03 Mar 2005 12:43:01 +0100 |
Move towards standard functions.
|
file | diff | annotate |
| Sun, 13 Feb 2005 17:15:14 +0100 |
Deleted Library.option type.
|
file | diff | annotate |
| Mon, 21 Jun 2004 16:39:09 +0200 |
File.quote_sysify_path;
|
file | diff | annotate |
| Tue, 05 Feb 2002 23:18:08 +0100 |
moved SVC stuff to ex;
|
file | diff | annotate |