| 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 |