| Mon, 21 Sep 2009 12:23:52 +0200 | haftmann | tuned proofs; be more cautios wrt. default simp rules | 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 |