Changeset 1959 for src/ASM/StatusProofs.ma
- Timestamp:
- May 16, 2012, 5:12:22 PM (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ASM/StatusProofs.ma
r1958 r1959 375 375 cases (split bool 4 4 ?) #nu #nl normalize nodelta try /demod/ try % 376 376 cases (split bool 1 3 ?) #ignore #three_bits normalize nodelta 377 cases (get_index_v bool 4 nu ??) normalize nodelta try /demod/ try % 377 cases (get_index_v bool 4 nu ??) normalize nodelta 378 (* XXX: try /demod/ try % *) 379 cases daemon 378 380 qed. 379 381
Note: See TracChangeset
for help on using the changeset viewer.