| Sat, 10 Sep 2011 14:28:07 +0200 | wenzelm | more symbolic file positions via smart replacement of ISABELLE_HOME -- allows Isabelle distribution to be moved later on; | changeset | files |
| Sat, 10 Sep 2011 13:43:09 +0200 | wenzelm | tuned usage; | changeset | files |
| 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 |
| Sat, 10 Sep 2011 00:44:25 +0200 | blanchet | fixed definition of type intersection (soundness bug) | changeset | files |
| Sat, 10 Sep 2011 00:44:25 +0200 | blanchet | continue with minimization in debug mode in spite of unsoundness | changeset | files |
| Fri, 09 Sep 2011 09:31:04 -0700 | huffman | generalize lemma of_nat_number_of_eq to class number_semiring | changeset | files |