src/HOL/ex/SVC_Oracle.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.
2006-02-06 wenzelm 2006-02-06 Logic.combound;
2005-09-15 wenzelm 2005-09-15 fixed ML;
2005-09-08 haftmann 2005-09-08 introduces some modern-style AList operations
2005-07-14 wenzelm 2005-07-14 improved oracle setup;
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2002-02-20 wenzelm 2002-02-20 Symbol.bump_string;
2002-02-05 wenzelm 2002-02-05 moved SVC stuff to ex;