src/HOL/SVC_Oracle.thy
1999-08-17 wenzelm 1999-08-17 turned SVC_Oracle into a new-style theory in order to get automatic handling of its additional dependency on Tools/svc_funcs.ML;
1999-08-03 paulson 1999-08-03 biconditionals and the natural numbers
1999-08-02 paulson 1999-08-02 the SVC oracle theory