| Thu, 16 Oct 1997 10:29:56 +0200 | mueller | lala | file | diff | annotate |
| Fri, 30 May 1997 16:37:20 +0200 | mueller | trivial changes to incorporate CTL.thy and Example.ML in html file; | file | diff | annotate |
| Tue, 20 May 1997 10:28:19 +0200 | mueller | little changes | file | diff | annotate |
| Fri, 16 May 1997 15:29:41 +0200 | mueller | Invoking Model Checkers in Isabelle/HOL; | file | diff | annotate |