| Wed, 13 Jan 1999 15:18:02 +0100 | wenzelm | fixed titles; | file | diff | annotate |
| Tue, 20 Oct 1998 16:20:19 +0200 | wenzelm | Symtab.foldl; | file | diff | annotate |
| Wed, 22 Jul 1998 17:59:49 +0200 | wenzelm | moved long_names / cond_extern to name_space.ML; | file | diff | annotate |
| Wed, 10 Jun 1998 11:51:58 +0200 | wenzelm | moved name_space.ML to General/name_space.ML; | file | diff | annotate |