Robby Findler
|
0a75219438
|
added support for where & side-condition & judgment-holds to define-relation
closes PR 12382
|
2011-11-20 21:34:22 -06:00 |
|
Casey Klein
|
145828527f
|
Fixes handling of pattern variables that look like metafunctions
|
2011-08-31 11:20:02 -05:00 |
|
Casey Klein
|
98eaaebc65
|
Improves error messages for Redex definition forms
|
2011-08-15 12:46:14 -05:00 |
|
Casey Klein
|
4d1651645a
|
Improves error message for premise typos
|
2011-08-10 12:24:02 -05:00 |
|
Casey Klein
|
a2dc2d9540
|
Fixes arity checks outside define-judgment-form
|
2011-08-10 12:24:02 -05:00 |
|
Casey Klein
|
87f3541979
|
Adds support for ellipsis-repeated premises
|
2011-08-10 12:24:01 -05:00 |
|
Casey Klein
|
dbfbf59256
|
Changes syntax for define-judgment-form mode and contract specs
|
2011-08-10 12:23:59 -05:00 |
|
Casey Klein
|
576272362b
|
Adds define-judgment-form form
|
2011-08-05 07:19:23 -05:00 |
|