| Wed, 21 Sep 2016 14:20:07 +0100 | paulson | vector_add_divide_simps now a "named theorems" bundle | changeset | files |
| Tue, 20 Sep 2016 22:31:50 +0200 | wenzelm | tuned -- fewer warnings; | changeset | files |
| Tue, 20 Sep 2016 22:29:51 +0200 | wenzelm | avoid old SML90; | changeset | files |
| Sun, 18 Sep 2016 17:57:55 +0200 | haftmann | more generic algebraic lemmas | changeset | files |
| Tue, 20 Sep 2016 14:51:58 +0200 | eberlm | NEWS: Normalized_Fraction.thy | changeset | files |
| Tue, 20 Sep 2016 11:35:10 +0200 | eberlm | Merged | changeset | files |
| Mon, 19 Sep 2016 17:37:22 +0200 | eberlm | Additions to permutations (contributed by Lukas Bulwahn) | changeset | files |