| 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 |
| Mon, 17 Oct 2011 11:24:22 +0200 | wenzelm | always use sockets on Windows/Cygwin; | changeset | files |