moving some common functions from quickcheck to the more HOL-specific quickcheck_common; renamed inductive_SML's configurations to more canonical names; adds automatically left and right hand sides of equations as evaluation terms
Subject: Announcing Isabelle2011-1To: isabelle-users@cl.cam.ac.ukIsabelle2011-1 is now available.This version significantly improves upon Isabelle2011, see the NEWSfile in the distribution for more details. Some notable changes are:* Significantly improved Isabelle/jEdit Prover IDE (PIDE).* Improved system integration with Isabelle/Scala: YXML data encoding.* Improved parallel performance and scalability.* Improved document preparation: embedded rail-road diagrams.* HOL tool enhancements: Quickcheck, Nitpick, Sledgehammer, SMT/Z3 integration.* Numerous HOL library improvements: main HOL, HOLCF, HOL-Library, Multivariate_Analysis, Probability.* Updated and extended Isabelle/Isar reference manual.You may get Isabelle2011-1 from the following mirror sites: Cambridge (UK) http://www.cl.cam.ac.uk/research/hvg/Isabelle/ Munich (Germany) http://isabelle.in.tum.de/ Sydney (Australia) http://mirror.cse.unsw.edu.au/pub/isabelle/