--- a/src/HOL/Proofs.thy	Tue Apr 11 10:29:25 2017 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,8 +0,0 @@
-theory Proofs
-imports Pure
-begin
-
-ML "Proofterm.proofs := 2"
-
-end
-
changeset 65464	f3cd78ba687c
parent 65438	f556a7a9080c
parent 65463	104502de757c
child 65465	067210a08a22
child 65467	9535c670b1b4