isabelle: Changelog

wenzelm [Tue, 20 Oct 1998 16:29:47 +0200] rev 5689

simple Env replaced by Symtab;

wenzelm [Tue, 20 Oct 1998 16:29:08 +0200] rev 5688

added unvarify(T);

wenzelm [Tue, 20 Oct 1998 16:26:47 +0200] rev 5687

Syntax.max_pri;

wenzelm [Tue, 20 Oct 1998 16:26:20 +0200] rev 5686

Symtab.foldl;

wenzelm [Tue, 20 Oct 1998 16:25:54 +0200] rev 5685

quiet_mode, message;

wenzelm [Tue, 20 Oct 1998 16:25:14 +0200] rev 5684

structure Hidden = struct end;

wenzelm [Tue, 20 Oct 1998 16:24:45 +0200] rev 5683

hiding private stuff;

wenzelm [Tue, 20 Oct 1998 16:20:19 +0200] rev 5682

Symtab.foldl;

wenzelm [Tue, 20 Oct 1998 16:19:53 +0200] rev 5681

added foldl, keys;

wenzelm [Tue, 20 Oct 1998 16:18:18 +0200] rev 5680

split_paired_all.ML: turn surjective pairing into split rule;

isabelle