| Mon, 01 May 2006 18:10:40 +0200 | paulson | some facts about min, max and add, diff | changeset | files |
| Mon, 01 May 2006 18:10:18 +0200 | paulson | a few more examples | changeset | files |
| Mon, 01 May 2006 17:05:13 +0200 | wenzelm | class_triv: Sign.certify_class; | changeset | files |
| Mon, 01 May 2006 17:05:12 +0200 | wenzelm | arities: maintain original codomain; | changeset | files |
| Mon, 01 May 2006 17:05:11 +0200 | wenzelm | added sort_triv; | changeset | files |
| Mon, 01 May 2006 17:05:10 +0200 | wenzelm | of_sort: simplified derivation; | changeset | files |
| Mon, 01 May 2006 17:05:09 +0200 | wenzelm | adapted arities; | changeset | files |