| Wed, 19 Aug 2015 22:40:41 +0200 | wenzelm | repaired proofs after 6a6f15d8fbc4; | file | diff | annotate |
| Wed, 24 Jun 2015 23:03:55 +0200 | wenzelm | tuned proofs -- less digits; | file | diff | annotate |
| Fri, 19 Jun 2015 23:40:46 +0200 | wenzelm | tuned proofs; | file | diff | annotate |
| Fri, 19 Jun 2015 21:41:33 +0200 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
| Wed, 17 Jun 2015 17:21:11 +0200 | nipkow | renamed Multiset.set_of to the canonical set_mset | file | diff | annotate |
| Mon, 17 Nov 2014 14:55:34 +0100 | haftmann | generalized lemmas and tuned proofs | file | diff | annotate |
| Sun, 02 Nov 2014 18:21:45 +0100 | wenzelm | modernized header uniformly as section; | file | diff | annotate |