Changeset 849 for src/common
- Timestamp:
- May 26, 2011, 6:41:33 PM (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/common/AST.ma
r795 r849 179 179 }. 180 180 181 (* 181 182 definition prog_funct_names ≝ λF,V: Type[0]. λp: program F V. 182 183 map ?? (fst ident F) (prog_funct ?? p). … … 496 497 (* 497 498 End TRANSF_PARTIAL_FUNDEF. 499 *) 498 500 *) 499 501
Note: See TracChangeset
for help on using the changeset viewer.