| Fri, 06 Nov 2009 21:53:20 +0100 | boehmes | made SML/NJ happy | file | diff | annotate |
| Fri, 06 Nov 2009 09:27:20 +0100 | boehmes | tuned | file | diff | annotate |
| Thu, 05 Nov 2009 14:48:40 +0100 | boehmes | shorter names for variables and verification conditions, | file | diff | annotate |
| Tue, 03 Nov 2009 23:44:16 +0100 | boehmes | proper and unique case names for the split_vc method, | file | diff | annotate |
| Tue, 03 Nov 2009 17:54:24 +0100 | boehmes | added HOL-Boogie | file | diff | annotate |