Thu, 04 Feb 1999 18:18:02 +0100 | wenzelm | include full paths in file info; | file | diff | annotate |
Wed, 03 Feb 1999 20:25:53 +0100 | wenzelm | check_thy: include ML stamp; | file | diff | annotate |
Wed, 03 Feb 1999 17:25:12 +0100 | wenzelm | added reset_path; | file | diff | annotate |
Sat, 30 Jan 1999 10:42:40 +0100 | wenzelm | Theory loader primitives. | file | diff | annotate |