| 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 |
| Sun, 16 Oct 2011 21:49:47 +0200 | krauss | mira configuration: use official polyml 5.4.1 on lxbroy10 | changeset | files |
| Sun, 16 Oct 2011 18:48:30 +0200 | wenzelm | added Term.dummy_pattern conveniences; | changeset | files |