Ignore:
Timestamp:
Dec 14, 2011, 6:17:53 PM (8 years ago)
Author:
campbell
Message:

Minor updates due to recent changes.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Clight/test/search.c.ma

    r1599 r1618  
    215215@refl
    216216qed.
    217 
     217(*
    218218example csc: True.
    219219letin yyy ≝ (
     
    228228letin zzz ≝ (do p ← yyy ; rtlabs_to_rtl p)
    229229@⊥ normalize in xxx;
     230*)
Note: See TracChangeset for help on using the changeset viewer.