Sat, 20 May 2006 23:37:00 +0200 class axiomatization: finals;
wenzelm [Sat, 20 May 2006 23:37:00 +0200] rev 19690
class axiomatization: finals;
Sat, 20 May 2006 23:36:59 +0200 abs: precise typing;
wenzelm [Sat, 20 May 2006 23:36:59 +0200] rev 19689
abs: precise typing;
Sat, 20 May 2006 23:36:57 +0200 added syntax for 'unchecked';
wenzelm [Sat, 20 May 2006 23:36:57 +0200] rev 19688
added syntax for 'unchecked';
Sat, 20 May 2006 23:36:56 +0200 primrec (unchecked);
wenzelm [Sat, 20 May 2006 23:36:56 +0200] rev 19687
primrec (unchecked);
Sat, 20 May 2006 23:36:55 +0200 List.partition;
wenzelm [Sat, 20 May 2006 23:36:55 +0200] rev 19686
List.partition;
Sat, 20 May 2006 23:36:53 +0200 ax_derivs: precise typing;
wenzelm [Sat, 20 May 2006 23:36:53 +0200] rev 19685
ax_derivs: precise typing;
Sat, 20 May 2006 23:36:51 +0200 pow: unchecked;
wenzelm [Sat, 20 May 2006 23:36:51 +0200] rev 19684
pow: unchecked;
Sat, 20 May 2006 23:36:49 +0200 removed obsolete 'finalconsts';
wenzelm [Sat, 20 May 2006 23:36:49 +0200] rev 19683
removed obsolete 'finalconsts';
Wed, 17 May 2006 22:36:08 +0200 * Pure: syntax 'CONST name' produces a fully internalized constant;
wenzelm [Wed, 17 May 2006 22:36:08 +0200] rev 19682
* Pure: syntax 'CONST name' produces a fully internalized constant; tuned;
Wed, 17 May 2006 22:34:52 +0200 added CONST syntax;
wenzelm [Wed, 17 May 2006 22:34:52 +0200] rev 19681
added CONST syntax; tuned interfaces;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip