wenzelm [Sat, 20 May 2006 23:37:02 +0200] rev 19692
yet another re-implementation:
. maintain explicit mapping from unspecified to specified consts (no
dependency graph, no termination check, but direct reduction of
specifications);
. more precise checking of LHS patterns -- specialized patterns
(e.g. 'a => 'a instead of general 'a => 'b) impose global
restrictions;
wenzelm [Sat, 20 May 2006 23:37:02 +0200] rev 19691
removed obsolete partition (cf. List.partition);
tuned;
wenzelm [Sat, 20 May 2006 23:37:00 +0200] rev 19690
class axiomatization: finals;
wenzelm [Sat, 20 May 2006 23:36:59 +0200] rev 19689
abs: precise typing;
wenzelm [Sat, 20 May 2006 23:36:57 +0200] rev 19688
added syntax for 'unchecked';
wenzelm [Sat, 20 May 2006 23:36:56 +0200] rev 19687
primrec (unchecked);
wenzelm [Sat, 20 May 2006 23:36:55 +0200] rev 19686
List.partition;
wenzelm [Sat, 20 May 2006 23:36:53 +0200] rev 19685
ax_derivs: precise typing;
wenzelm [Sat, 20 May 2006 23:36:51 +0200] rev 19684
pow: unchecked;
wenzelm [Sat, 20 May 2006 23:36:49 +0200] rev 19683
removed obsolete 'finalconsts';