| Sun, 21 Oct 2001 19:42:24 +0200 | wenzelm | improved spacing; | file | diff | annotate |
| Sun, 14 Oct 2001 20:07:11 +0200 | wenzelm | fixed auto steps (due to changed atomize); | file | diff | annotate |
| Thu, 31 May 2001 20:52:51 +0200 | wenzelm | tuned | file | diff | annotate |
| Thu, 31 May 2001 17:24:56 +0200 | bauerg | added HOL-CTL example; | file | diff | annotate |