Changeset 985 for src/common
- Timestamp:
- Jun 16, 2011, 4:50:23 PM (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/common/AST.ma
r961 r985 599 599 definition bool_to_Prop ≝ 600 600 λb. match b with [ true ⇒ True | false ⇒ False ]. 601 602 coercion bool_to_Prop: ∀b:bool. Prop ≝ bool_to_Prop on _b:bool to Type[0]. 601 603 602 604 (* dpm: should go to standard library *)
Note: See TracChangeset
for help on using the changeset viewer.