6 Commits

Author	SHA1	Message	Date
aarne	e67587ae5b	structural words needed for Attempto ; negative items are overgenerating	2008-11-03 16:52:54 +00:00
aarne	3204702619	German Attempto - lots of words to check	2008-10-28 16:15:13 +00:00
aarne	43dcd61cbf	next-lib now compiles webalt ; removed subdir mathematical/ for simplicity	2008-10-06 15:27:14 +00:00
aarne	e56e6483f6	simplified 1.5 by removing mathematical/	2008-10-06 12:49:13 +00:00
aarne	16a1a48874	extended AP with Ord and compar in 1.5	2008-10-03 20:42:09 +00:00
aarne	33a44b2683	adapted German to 1.5	2008-09-22 12:24:28 +00:00