src/HOL/Proofs.thy
author blanchet
Wed Feb 12 08:35:57 2014 +0100 (2014-02-12)
changeset 55415 05f5fdb8d093
parent 52488 cd65ee49a8ba
permissions -rw-r--r--
renamed 'nat_{case,rec}' to '{case,rec}_nat'
     1 theory Proofs
     2 imports Pure
     3 begin
     4 
     5 ML "Proofterm.proofs := 2"
     6 
     7 end
     8