| Sun, 14 Feb 2016 16:39:43 +0100 | wenzelm | unused; | file | diff | annotate |
| Sun, 14 Feb 2016 16:30:27 +0100 | wenzelm | command '\<proof>' is an alias for 'sorry', with different typesetting; | file | diff | annotate |
| Wed, 27 Apr 2011 13:21:12 +0200 | wenzelm | predefined LaTeX macros for \<bind> and \<then>; | file | diff | annotate |
| Mon, 13 Sep 2010 14:54:05 +0200 | haftmann | added Imperative HOL overview | file | diff | annotate |