haftmann [Thu, 06 May 2010 18:16:07 +0200] rev 36716
moved generic lemmas to appropriate places
haftmann [Thu, 06 May 2010 17:59:20 +0200] rev 36715
tuned
haftmann [Thu, 06 May 2010 17:59:19 +0200] rev 36714
dropped duplicate comp_arith
haftmann [Thu, 06 May 2010 17:55:12 +0200] rev 36713
avoid open; tuned references to theorems
haftmann [Thu, 06 May 2010 17:55:11 +0200] rev 36712
avoid references to groebner bases in names which have no references to groebner bases
haftmann [Thu, 06 May 2010 17:09:18 +0200] rev 36711
tuned whitespace
haftmann [Thu, 06 May 2010 17:06:47 +0200] rev 36710
tuned headings
haftmann [Thu, 06 May 2010 17:02:34 +0200] rev 36709
avoid open
haftmann [Thu, 06 May 2010 17:00:46 +0200] rev 36708
tuned internal structure
haftmann [Thu, 06 May 2010 16:57:59 +0200] rev 36707
fail on merge of conflicting normalization entries: functions are not mergable
haftmann [Thu, 06 May 2010 16:57:28 +0200] rev 36706
more canonical data administration
haftmann [Thu, 06 May 2010 16:53:35 +0200] rev 36705
removed former algebra presimpset entirely
haftmann [Thu, 06 May 2010 16:50:26 +0200] rev 36704
removed former algebra presimpset from accessor
haftmann [Thu, 06 May 2010 16:41:14 +0200] rev 36703
removed former algebra presimpset from signature