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 |