| Thu, 22 Apr 2021 10:11:11 +0200 | wenzelm | simplified typesetting of \<guillemotleft>...\<guillemotright>; | file | diff | annotate |
| 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 |