Ignore:
Timestamp:
May 16, 2012, 5:12:22 PM (8 years ago)
Author:
mulligan
Message:

Commented out diverging application of demodulation and closed goals with a daemon in order to get ASM/StatusProofs.ma to compile.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/StatusProofs.ma

    r1958 r1959  
    375375  cases (split bool 4 4 ?) #nu #nl normalize nodelta try /demod/ try %
    376376  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
    378380qed.
    379381
Note: See TracChangeset for help on using the changeset viewer.