isabelle: Changelog

wenzelm [Sat, 06 Oct 2001 00:02:46 +0200] rev 11704

* sane numerals (stage 2): plain "num" syntax (removed "#");

wenzelm [Fri, 05 Oct 2001 23:58:52 +0200] rev 11703

tuned;

wenzelm [Fri, 05 Oct 2001 23:58:17 +0200] rev 11702

*** empty log message ***

wenzelm [Fri, 05 Oct 2001 21:52:39 +0200] rev 11701

sane numerals (stage 1): added generic 1, removed 1' and 2 on nat, "num" syntax (still with "#"), Numeral0, Numeral1;

wenzelm [Fri, 05 Oct 2001 21:50:37 +0200] rev 11700

*** empty log message ***

Fri, 05 Oct 2001 21:49:59 +0200 "num" syntax;

wenzelm [Fri, 05 Oct 2001 21:49:59 +0200] rev 11699

"num" syntax;

wenzelm [Fri, 05 Oct 2001 21:49:15 +0200] rev 11698

added axclass "one" and polymorphic const "1"; print consts "0" and "1" with type constraints;

wenzelm [Fri, 05 Oct 2001 21:48:04 +0200] rev 11697

added "num" token;

wenzelm [Fri, 05 Oct 2001 21:42:10 +0200] rev 11696

induct: case names;

wenzelm [Fri, 05 Oct 2001 21:37:33 +0200] rev 11695

sane spacing of "-";

isabelle