src/HOL/ex/SVC_Oracle.thy
2008-01-15 haftmann 2008-01-15 joined theories IntDef, Numeral, IntArith to theory Int
2007-08-29 wenzelm 2007-08-29 removed Hoare/hoare.ML, Hoare/hoareAbort.ML, ex/svc_oracle.ML (which can be mistaken as attached ML script on case-insensitive file-system);
2006-10-01 wenzelm 2006-10-01 proper use of svc_oracle.ML;
2005-09-14 wenzelm 2005-09-14 tuned headers etc.;
2005-07-14 wenzelm 2005-07-14 improved oracle setup;
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2002-02-05 wenzelm 2002-02-05 moved SVC stuff to ex;