| Tue, 07 Dec 2010 14:53:44 +0100 | boehmes | moved smt_word.ML into the directory of the Word library | changeset | files |
| Tue, 07 Dec 2010 14:53:12 +0100 | boehmes | centralized handling of built-in types and constants; | changeset | files |
| Mon, 06 Dec 2010 16:54:22 +0100 | boehmes | more aggressive unfolding of unknowns in Z3 models | changeset | files |
| Mon, 06 Dec 2010 15:38:02 +0100 | boehmes | tuned | changeset | files |
| Tue, 07 Dec 2010 13:33:28 +0100 | bulwahn | adding a definition for refl_on which is friendly for quickcheck and nitpick | changeset | files |
| Tue, 07 Dec 2010 12:10:13 +0100 | blanchet | merged | changeset | files |