| Sat, 10 Sep 2011 13:41:03 +0200 | wenzelm | simplified default Isabelle application wrapper (NB: build process is already part of isabelle jedit tool); | changeset | files |
| Sat, 10 Sep 2011 10:29:24 +0200 | haftmann | renamed theory Complete_Lattice to Complete_Lattices, in accordance with Lattices, Orderings etc. | changeset | files |