lib/encodings/isabelle-0
Tue, 29 Apr 1997 17:23:53 +0200 wenzelm renamed \<choice> to \<orelse>;
Tue, 29 Apr 1997 16:39:13 +0200 wenzelm added new chars;
Wed, 16 Apr 1997 18:53:36 +0200 wenzelm removed lceil, rceil, lfloor, rfloor;
Sun, 13 Apr 1997 19:12:37 +0200 wenzelm tuned format;
Wed, 02 Apr 1997 11:59:02 +0200 wenzelm The isabelle-0 encoding table.
less more (0) tip