Tue, 09 Jan 2001 15:29:17 +0100 | nipkow | `` -> ` and ``` -> `` | file | diff | annotate |
Tue, 07 Sep 1999 10:40:58 +0200 | wenzelm | isatool expandshort; | file | diff | annotate |
Thu, 18 Mar 1999 10:41:33 +0100 | paulson | added new theory Yahalom_Bad | file | diff | annotate |