src/HOL/SVC_Oracle.ML
1999-08-02 paulson 1999-08-02 the SVC oracle theory