| Thu, 29 Dec 2011 18:27:17 +0100 | wenzelm | clarified timeit_msg; | changeset | files |
| Thu, 29 Dec 2011 16:58:19 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 29 Dec 2011 15:54:37 +0100 | wenzelm | comments; | changeset | files |
| Thu, 29 Dec 2011 18:54:07 +0100 | huffman | remove constant 'ccpo.lub', re-use constant 'Sup' instead | changeset | files |
| Thu, 29 Dec 2011 17:43:54 +0100 | nipkow | merged | changeset | files |
| Thu, 29 Dec 2011 17:43:40 +0100 | nipkow | tuned | changeset | files |
| Thu, 29 Dec 2011 15:14:44 +0100 | haftmann | conversions from sets to predicates and vice versa; extensionality on predicates | changeset | files |
| Thu, 29 Dec 2011 15:14:44 +0100 | haftmann | added implementation of pred_of_set | changeset | files |
| Thu, 29 Dec 2011 14:23:40 +0100 | haftmann | fundamental theorems on Set.bind | changeset | files |
| Thu, 29 Dec 2011 14:44:44 +0100 | wenzelm | updated generated files; | changeset | files |
| Thu, 29 Dec 2011 13:42:21 +0100 | haftmann | qualified Finite_Set.fold | changeset | files |
| Thu, 29 Dec 2011 13:41:41 +0100 | haftmann | qualified Finite_Set.fold | changeset | files |
| Thu, 29 Dec 2011 10:47:56 +0100 | haftmann | dropped redundant setup | changeset | files |
| Thu, 29 Dec 2011 10:47:56 +0100 | haftmann | tuned declaration | changeset | files |