| Sat, 27 Jul 2013 16:44:58 +0200 | wenzelm | tuned spelling; | file | diff | annotate |
| Sat, 27 Jul 2013 16:35:51 +0200 | wenzelm | standardized aliases; | file | diff | annotate |
| Tue, 23 Jul 2013 18:36:23 +0200 | boehmes | removed obsolete HOL-Boogie session; | file | diff | annotate |