| 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 |