Sun, 02 Nov 2014 17:36:52 +0100 | wenzelm | modernized header; | file | diff | annotate |
Sun, 09 Feb 2014 17:41:17 +0100 | wenzelm | removed junk; | 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 |