2000-10-18 | wenzelm | \isabellecontext: output_syms; | changeset | files |
2000-10-18 | wenzelm | restart: do not reset theory loader path; | changeset | files |
2000-10-18 | wenzelm | * HOL/Library: a collection of generic theories to be used together | changeset | files |
2000-10-18 | nipkow | *** empty log message *** | changeset | files |
Loading... |