| Fri, 27 May 2011 10:30:07 +0200 | blanchet | always run Sledgehammer synchronously in the jEdit interface (until the multithreading support for Proof General is ported) | changeset | files |
| Fri, 27 May 2011 10:30:07 +0200 | blanchet | towards supporting non-simply-typed encodings for TFF and THF (for orthogonality and experiments) | changeset | files |
| Thu, 26 May 2011 23:21:00 +0200 | noschinl | instance inat for complete_lattice | changeset | files |