Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- revived 'try0' and 'smart' Isar proofs in Sledgehammer
The file was modified | src/HOL/Tools/Sledgehammer/sledgehammer.ML |
The file was modified | src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML |
The file was modified | src/HOL/Tools/Sledgehammer/sledgehammer_prover.ML |
The file was modified | src/HOL/Tools/Sledgehammer/sledgehammer_prover_atp.ML |
The file was modified | src/HOL/Tools/Sledgehammer/sledgehammer_prover_smt.ML |
Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)
Summary
- Purely markup
The file was modified | thys/Ackermanns_not_PR/Primrec.thy |