| Mon, 03 Nov 1997 12:07:13 +0100 | wenzelm | fixed thy dependencies; | file | diff | annotate |
| Mon, 12 May 1997 12:10:49 +0200 | wenzelm | fixed dependecy: CPure; | file | diff | annotate |
| Mon, 15 Jul 1996 14:58:28 +0200 | paulson | New dummy .thy files to document dependencies | file | diff | annotate |