Sat, 10 Jul 2010 22:39:16 +0200 | wenzelm | regular image setup for HOL-Library (cf. 4915de09b4d3 and ccae4ecd67f4) -- note that document preparation requires a separate session directory, and library.ML is a bit too generic as a file in the default load path; | file | diff | annotate | base |
Tue, 25 May 2010 21:49:44 +0200 | wenzelm | eliminated slightly odd Library/Library session setup (cf. d7711be8c3a9) which is obsolete due to usedir -f HOL_Library_ROOT.ML; | file | diff | annotate | base |