isabelle: Changelog

oheimb [Thu, 09 Aug 2001 10:17:45 +0200] rev 11493

added pair_imageI (also as intro rule)

oheimb [Thu, 09 Aug 2001 10:16:23 +0200] rev 11492

renamed addaltern to addafter, addSaltern to addSafter

wenzelm [Wed, 08 Aug 2001 17:39:32 +0200] rev 11491

added constify_ast_tr;

wenzelm [Wed, 08 Aug 2001 17:39:16 +0200] rev 11490

field_name_ast_tr superceded by constify_ast_tr in Pure;

wenzelm [Wed, 08 Aug 2001 17:38:53 +0200] rev 11489

_constify;

wenzelm [Wed, 08 Aug 2001 17:38:29 +0200] rev 11488

constify numeral tokens in order to allow translations;

wenzelm [Wed, 08 Aug 2001 17:37:47 +0200] rev 11487

* HOL: syntax translations now work properly with numerals and records expressions;

oheimb [Wed, 08 Aug 2001 16:57:43 +0200] rev 11486

layout, subscripts

wenzelm [Wed, 08 Aug 2001 15:16:38 +0200] rev 11485

[ "$ML_SYSTEM" = polyml-4.1.1 ] && DISCGARB_OPTIONS="$DISCGARB_OPTIONS -S 120";

wenzelm [Wed, 08 Aug 2001 14:57:22 +0200] rev 11484

polyml-4.1.1;

isabelle