Changeset 1279 for src/ASM/Util.ma


Ignore:
Timestamp:
Sep 28, 2011, 2:41:16 AM (8 years ago)
Author:
sacerdot
Message:

Bug fixed in definition of ltb.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Util.ma

    r1193 r1279  
    4040definition gtb ≝
    4141  λm, n: nat.
    42     leb n m.
     42    ltb n m.
    4343
    4444(* dpm: unless I'm being stupid, this isn't defined in the stdlib? *)
Note: See TracChangeset for help on using the changeset viewer.