6 Commits

Author	SHA1	Message	Date
aarne	9ecc663d00	structural words needed for Attempto ; negative items are overgenerating	2008-11-03 16:52:54 +00:00
aarne	de9ed61a27	German Attempto - lots of words to check	2008-10-28 16:15:13 +00:00
aarne	ab14205108	next-lib now compiles webalt ; removed subdir mathematical/ for simplicity	2008-10-06 15:27:14 +00:00
aarne	e765b97fc4	simplified 1.5 by removing mathematical/	2008-10-06 12:49:13 +00:00
aarne	24207d40e9	extended AP with Ord and compar in 1.5	2008-10-03 20:42:09 +00:00
aarne	766852a64c	adapted German to 1.5	2008-09-22 12:24:28 +00:00