Tue, 22 Feb 2011 21:54:56 +0100 | wenzelm | updated generated file; | changeset | files |
Tue, 22 Feb 2011 19:44:15 +0100 | wenzelm | scale parallel_proofs_threshold with max_threads_value to improve saturation of cores; | changeset | files |
Tue, 22 Feb 2011 17:06:14 +0100 | wenzelm | modernized specifications; | changeset | files |
Tue, 22 Feb 2011 16:47:18 +0100 | krauss | dropped obsolete FIXMEs | changeset | files |
Mon, 21 Feb 2011 23:54:53 +0100 | wenzelm | merged, resolving spurious conflicts and giving up Reflected_Multivariate_Polynomial.thy from ab5d2d81f9fb; | changeset | files |
Mon, 21 Feb 2011 23:14:36 +0100 | krauss | eliminated global prems | changeset | files |
Mon, 21 Feb 2011 23:14:36 +0100 | krauss | modernized specification; curried | changeset | files |