| Wed, 29 Apr 1998 11:22:01 +0200 | wenzelm | moved mk_defpair to logic.ML; | file | diff | annotate |
| Mon, 09 Mar 1998 16:09:56 +0100 | wenzelm | adapted to new scanners and baroque chars; | file | diff | annotate |
| Thu, 23 Oct 1997 12:10:55 +0200 | wenzelm | Sign.stamp_names_of; | file | diff | annotate |