| Tue, 25 Feb 2014 15:02:54 +0100 | kuncar | the rules are not needed due to 1726f46d2aa8 | changeset | files |
| Tue, 25 Feb 2014 15:02:20 +0100 | kuncar | simplify and repair proofs due to df0fda378813 | changeset | files |
| Tue, 25 Feb 2014 15:02:19 +0100 | kuncar | rewrite composition of quotients to a more readable form in a respectfulness goal that is presented to a user | changeset | files |
| Mon, 24 Feb 2014 23:17:55 +0000 | paulson | Gauss.thy ported from Old_Number_Theory (unfinished) | changeset | files |
| Mon, 24 Feb 2014 22:41:08 +0100 | wenzelm | merged | changeset | files |
| Mon, 24 Feb 2014 20:42:08 +0100 | wenzelm | reverted c05d3e22adaf: Locale.intern is still required by AFP/Simpl; | changeset | files |