| Sat, 23 Apr 2011 13:00:19 +0200 | wenzelm | modernized specifications; | file | diff | annotate |
| Fri, 22 Oct 2010 18:38:59 +0200 | bulwahn | splitting Hotel Key card example into specification and the two tests for counter example generation | file | diff | annotate |