Thu, 19 Mar 2009 13:09:52 +0100 | immler | LinearSet.prev | changeset | files |
Mon, 02 Mar 2009 19:27:06 +0100 | wenzelm | merged, resolving minor conflicts; | changeset | files |
Mon, 02 Mar 2009 19:17:20 +0100 | wenzelm | preliminary/failed attempt to use the new IsarDocument access model to the prover; | changeset | files |