isabelle: Changelog

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;

paulson [Wed, 08 Aug 2001 14:52:10 +0200] rev 11483

Hilbert_Choice is needed only in Main itself

paulson [Wed, 08 Aug 2001 14:51:30 +0200] rev 11482

Main is the proper parent of IOA

paulson [Wed, 08 Aug 2001 14:51:10 +0200] rev 11481

get it working again using Hilbert_Choice

paulson [Wed, 08 Aug 2001 14:50:28 +0200] rev 11480

Getting it working again with 1' instead of 1

isabelle