| Fri, 22 Apr 2011 15:25:01 +0200 | wenzelm | stats for mac-poly-M2; | changeset | files |
| Fri, 22 Apr 2011 15:24:00 +0200 | wenzelm | simplified Data signature; | changeset | files |
| Fri, 22 Apr 2011 15:05:04 +0200 | wenzelm | misc tuning and simplification; | changeset | files |
| Fri, 22 Apr 2011 14:53:11 +0200 | wenzelm | misc tuning; | changeset | files |
| Fri, 22 Apr 2011 14:38:49 +0200 | wenzelm | do not open ML structures; | changeset | files |
| Fri, 22 Apr 2011 14:30:32 +0200 | wenzelm | proper context for Quantifier1 simprocs (avoid bad ProofContext.init_global from abc655166d61); | changeset | files |
| Fri, 22 Apr 2011 13:58:13 +0200 | wenzelm | modernized Quantifier1 simproc setup; | changeset | files |