haftmann [Mon, 16 Feb 2009 13:38:17 +0100] rev 29872
merged
haftmann [Mon, 16 Feb 2009 13:38:10 +0100] rev 29871
tuned texts
haftmann [Mon, 16 Feb 2009 13:38:09 +0100] rev 29870
dropped Id
haftmann [Mon, 16 Feb 2009 13:38:09 +0100] rev 29869
dropped clause_suc_preproc for generic code generator
haftmann [Mon, 16 Feb 2009 13:38:08 +0100] rev 29868
new primrec
berghofe [Mon, 16 Feb 2009 12:30:06 +0100] rev 29867
Adapted to encoding of sets as predicates.
kleing [Mon, 16 Feb 2009 20:45:15 +1100] rev 29866
enable auto-solve by default
blanchet [Mon, 16 Feb 2009 10:15:43 +0100] rev 29865
merged
blanchet [Mon, 16 Feb 2009 10:13:30 +0100] rev 29864
Added nitpick attribute, and fixed typo.
blanchet [Mon, 16 Feb 2009 10:11:20 +0100] rev 29863
Added myself to testing list.