| Wed, 30 Mar 2011 23:26:40 +0200 | wenzelm | modernized specifications; | file | diff | annotate |
| Wed, 08 Sep 2010 19:21:46 +0200 | haftmann | modernized primrec | 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 |