diff options
| author |  Unknown <t-alekm@A3479878.redmond.corp.microsoft.com> | 2011-07-21 18:34:10 -0700 |
|---|---|---|
| committer | Unknown <t-alekm@A3479878.redmond.corp.microsoft.com> | 2011-07-21 18:34:10 -0700 |
| commit | 562c4fd4014157472f892d41f8f3b02d413a618b (patch) | |
| tree | 260186557ab270d6efefc1329bb0c776ed81b4ac /.hgignore | |
| parent | 7ae2f981935388b81d1a1fd3315ca005a492af4b (diff) | |
Jennisys:
- added the following desugaring rule
forall v :: v in {a1, a2, ..., an} ==> e ~~~> e[v/a1] && e[v/a2] && ... && e[v/an]
- added the "help" command line option
Diffstat (limited to '.hgignore')
0 files changed, 0 insertions, 0 deletions