diff options
| author |  Unknown <qadeer@FAIZ-AHMED-FAIZ.redmond.corp.microsoft.com> | 2013-03-11 21:36:56 -0700 |
|---|---|---|
| committer | Unknown <qadeer@FAIZ-AHMED-FAIZ.redmond.corp.microsoft.com> | 2013-03-11 21:36:56 -0700 |
| commit | c344350ef8cc83b5e0aa9332435fbe095bc84bc0 (patch) | |
| tree | 4e8ea898d15ae03272289349111fd19e44ec65b8 /Test/linear | |
| parent | 0acf63da8aca4a5742ee319f1eb3018eea251115 (diff) | |
fixed bugs in linear and og
added triggers to the axioms for linear set desugaring
Diffstat (limited to 'Test/linear')
0 files changed, 0 insertions, 0 deletions