| Tue, 19 Nov 2013 16:48:50 +0100 | blanchet | refactored | changeset | files |
| Tue, 19 Nov 2013 15:45:45 +0100 | blanchet | updated docs | changeset | files |
| Tue, 19 Nov 2013 15:43:08 +0100 | blanchet | use type suffixes instead of prefixes for 'case', '(un)fold', '(co)rec' | changeset | files |
| Tue, 19 Nov 2013 15:05:28 +0100 | blanchet | prefix internal names as well | changeset | files |
| Tue, 19 Nov 2013 14:33:20 +0100 | blanchet | case_if -> case_eq_if + docs | changeset | files |
| Tue, 19 Nov 2013 14:11:26 +0100 | blanchet | use suffix '_list' etc. instead of prefix 'list_' for constants not present in the old package | changeset | files |
| Tue, 19 Nov 2013 10:05:53 +0100 | haftmann | eliminiated neg_numeral in favour of - (numeral _) | changeset | files |
| Tue, 19 Nov 2013 01:30:14 +0100 | blanchet | more tuning for speed | changeset | files |