| Fri, 04 Jul 2014 20:18:47 +0200 | haftmann | reduced name variants for assoc and commute on plus and mult | file | diff | annotate |
| Sat, 22 Mar 2014 08:37:43 +0100 | haftmann | generalized and strengthened cong rules on compound operators, similar to 1ed737a98198 | file | diff | annotate |
| Tue, 09 Jul 2013 18:08:56 +0200 | wenzelm | tuned proofs; | file | diff | annotate |
| Thu, 14 Feb 2013 16:35:32 +0100 | wenzelm | tuned proof; | file | diff | annotate |
| Mon, 12 Sep 2011 07:55:43 +0200 | nipkow | new fastforce replacing fastsimp - less confusing name | file | diff | annotate |
| Fri, 25 Feb 2011 14:25:41 +0100 | nipkow | added simp lemma nth_Cons_pos to List | file | diff | annotate |
| Sun, 03 Jan 2010 10:01:23 +0100 | nipkow | removed more asm_rl's - unfortunately slowdown of 1 min. | file | diff | annotate |
| Mon, 21 Sep 2009 10:58:25 +0200 | haftmann | theory entry point for session Hoare_Parallel (now also with proper underscore) | file | diff | annotate | base |