Wed, 03 Feb 1999 16:36:38 +0100 | wenzelm | more abstract implementation; | file | diff | annotate |
Wed, 13 Jan 1999 15:18:02 +0100 | wenzelm | fixed titles; | file | diff | annotate |
Wed, 10 Jun 1998 11:51:28 +0200 | wenzelm | moved Thy/path.ML to General/path.ML; | file | diff | annotate |