src/HOL/Proofs.thy
author wenzelm
Sun Jun 30 12:30:02 2013 +0200 (2013-06-30)
changeset 52488 cd65ee49a8ba
permissions -rw-r--r--
discontinued system option "proofs" -- global state of Proofterm.proofs is persistently compiled into HOL-Proofs image;
discontinued unused proofterms for FOL;
     1 theory Proofs
     2 imports Pure
     3 begin
     4 
     5 ML "Proofterm.proofs := 2"
     6 
     7 end
     8