Mon, 16 Apr 2012 08:48:20 +0000 | zhang | The result for "Set" operation gets strengthened. | changeset | files |
Sun, 15 Apr 2012 21:53:12 +0000 | urbanc | added some of the comments of the reviewers and made it compile with current Isabelle | changeset | files |