| 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 |
| Mon, 19 Sep 2016 23:14:34 +0200 | kuncar | resolve the name clash of HOL/Library/FSet and HOL/Quotient_Examples/FSet | changeset | files |
| Mon, 19 Sep 2016 20:07:39 +0200 | fleury | # after multiset intersection and union symbol | changeset | files |
| Mon, 19 Sep 2016 20:06:21 +0200 | fleury | left_distrib ~> distrib_right, right_distrib ~> distrib_left | changeset | files |
| Mon, 19 Sep 2016 12:53:30 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 18 Sep 2016 21:06:24 +0200 | wenzelm | merged | changeset | files |
| Sun, 18 Sep 2016 20:33:48 +0200 | wenzelm | tuned proofs; | changeset | files |
| Sun, 18 Sep 2016 18:36:37 +0200 | Lars Hupel | merged | changeset | files |
| Sun, 18 Sep 2016 18:23:59 +0200 | Lars Hupel | tuned | changeset | files |
| Sun, 18 Sep 2016 17:59:28 +0200 | wenzelm | clarified notation: iterated quantifier is negated as one chunk; | changeset | files |
| Sun, 18 Sep 2016 16:59:15 +0200 | wenzelm | tuned proofs; | changeset | files |
| Sun, 18 Sep 2016 15:19:50 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 18 Sep 2016 15:16:42 +0200 | wenzelm | clarified notation; | changeset | files |
| Sun, 18 Sep 2016 11:31:19 +0200 | fleury | support replicate_mset in multiset simproc | changeset | files |
| Sun, 18 Sep 2016 11:31:18 +0200 | fleury | tuning multiset simproc | changeset | files |
| Sat, 17 Sep 2016 11:41:13 +0200 | Lars Hupel | repair LaTeX dropout from f83ef97d8d7d | changeset | files |
| Fri, 16 Sep 2016 12:30:55 +0200 | haftmann | prefer abbreviation for trivial set conversion | changeset | files |
| Fri, 16 Sep 2016 12:30:55 +0200 | haftmann | more lemmas | changeset | files |
| Fri, 16 Sep 2016 21:40:47 +0200 | wenzelm | merged | changeset | files |
| Fri, 16 Sep 2016 21:35:19 +0200 | wenzelm | more symbols -- as in the printed document; | changeset | files |
| Fri, 16 Sep 2016 21:28:09 +0200 | wenzelm | more symbols; | changeset | files |
| Fri, 16 Sep 2016 18:44:18 +0200 | Lars Hupel | tuned proofs | changeset | files |
| Fri, 16 Sep 2016 18:09:13 +0200 | wenzelm | misc updates; | changeset | files |