Mon, 02 Mar 2009 19:17:20 +0100 | wenzelm | preliminary/failed attempt to use the new IsarDocument access model to the prover; | changeset | files |
Sun, 08 Mar 2009 23:03:49 +0100 | immler | ProofDocument without state | changeset | files |
Thu, 05 Mar 2009 16:40:49 +0100 | immler | *very* superficial usage of LinearSet | changeset | files |