| Sat, 03 Mar 2012 21:00:04 +0100 | haftmann | explicit locations for import_theory and setup_theory, for better user interface conformance | file | diff | annotate |
| Sat, 10 Sep 2011 10:29:24 +0200 | haftmann | renamed theory Complete_Lattice to Complete_Lattices, in accordance with Lattices, Orderings etc. | file | diff | annotate |