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