| Mon, 24 May 1999 15:47:06 +0200 | paulson | Theory of the "Follows" relation | changeset | files |
| Mon, 24 May 1999 15:46:20 +0200 | paulson | Increasing makes sense only for partial orderings | changeset | files |
| Mon, 24 May 1999 15:45:54 +0200 | paulson | generalized Increasing_size to mono_Increasing_o | changeset | files |
| Mon, 24 May 1999 15:45:22 +0200 | paulson | tidied | changeset | files |