| Mon, 16 Nov 2009 12:09:59 +0100 | boehmes | further explosion of HOL-Boogie verification conditions | file | diff | annotate |
| Fri, 13 Nov 2009 15:10:28 +0100 | boehmes | parallel solving of Boogie splinters | file | diff | annotate |
| Sun, 08 Nov 2009 18:43:42 +0100 | wenzelm | adapted Theory_Data; | 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 |