src/HOL/ex/svc_funcs.ML
2006-03-31 paulson 2006-03-31 removed some illegal characters: they were crashing SML/NJ
2006-03-17 haftmann 2006-03-17 renamed op < <= to Orderings.less(_eq)
2006-03-10 haftmann 2006-03-10 renamed HOL + - * etc. to HOL.plus HOL.minus HOL.times etc.
2005-09-17 wenzelm 2005-09-17 removed obsolete BasisLibrary;
2005-07-14 wenzelm 2005-07-14 improved oracle setup;
2005-06-05 wenzelm 2005-06-05 File.shell_path;
2005-05-16 paulson 2005-05-16 Use of IntInf.int instead of int in most numeric simprocs; avoids integer overflow in SML/NJ
2005-03-04 skalberg 2005-03-04 Removed practically all references to Library.foldr.
2005-03-03 skalberg 2005-03-03 Move towards standard functions.
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2004-06-21 wenzelm 2004-06-21 File.quote_sysify_path;
2002-02-05 wenzelm 2002-02-05 moved SVC stuff to ex;