Wed, 01 Feb 2006 01:03:41 +0100 added all constructors from PhD
urbanc [Wed, 01 Feb 2006 01:03:41 +0100] rev 18881
added all constructors from PhD
Tue, 31 Jan 2006 18:19:36 +0100 axiomatization: retrict parameters to occurrences in specs;
wenzelm [Tue, 31 Jan 2006 18:19:36 +0100] rev 18880
axiomatization: retrict parameters to occurrences in specs; definition: restrict parameters to individual rhs;
Tue, 31 Jan 2006 18:19:35 +0100 improved comments;
wenzelm [Tue, 31 Jan 2006 18:19:35 +0100] rev 18879
improved comments;
Tue, 31 Jan 2006 18:19:34 +0100 tuned LocalDefs.unfold;
wenzelm [Tue, 31 Jan 2006 18:19:34 +0100] rev 18878
tuned LocalDefs.unfold;
Tue, 31 Jan 2006 18:19:32 +0100 (un)fold: removed '(raw)' option;
wenzelm [Tue, 31 Jan 2006 18:19:32 +0100] rev 18877
(un)fold: removed '(raw)' option;
Tue, 31 Jan 2006 18:19:31 +0100 added consts_retricted;
wenzelm [Tue, 31 Jan 2006 18:19:31 +0100] rev 18876
added consts_retricted; pretty/print_consts: parameter restriction;
Tue, 31 Jan 2006 18:19:30 +0100 (un)fold: no raw flag;
wenzelm [Tue, 31 Jan 2006 18:19:30 +0100] rev 18875
(un)fold: no raw flag; tuned;
Tue, 31 Jan 2006 18:19:29 +0100 tuned;
wenzelm [Tue, 31 Jan 2006 18:19:29 +0100] rev 18874
tuned;
Tue, 31 Jan 2006 18:19:28 +0100 tuned LocalTheory.pretty_consts;
wenzelm [Tue, 31 Jan 2006 18:19:28 +0100] rev 18873
tuned LocalTheory.pretty_consts;
Tue, 31 Jan 2006 18:19:27 +0100 (un)folded: removed '(raw)' option;
wenzelm [Tue, 31 Jan 2006 18:19:27 +0100] rev 18872
(un)folded: removed '(raw)' option;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip