Mon, 17 Oct 2011 18:05:14 +0200 | wenzelm | merged | changeset | files |
Mon, 17 Oct 2011 14:22:14 +0200 | noschinl | (old) NEWS | changeset | files |
Mon, 17 Oct 2011 10:19:01 +0200 | bulwahn | 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 | changeset | files |