Changeset 1193 for src/ASM/Util.ma


Ignore:
Timestamp:
Sep 6, 2011, 3:49:31 PM (8 years ago)
Author:
mulligan
Message:

work on colouring algorithm halted as it can be axiomatised. now implementing interference graphs (objects!)

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Util.ma

    r1161 r1193  
    4747  [ O ⇒ match m with [ O ⇒ true | _ ⇒ false ]
    4848  | S n' ⇒ match m with [ S m' ⇒ eq_nat n' m' | _ ⇒ false ]
     49  ].
     50
     51let rec forall
     52  (A: Type[0]) (f: A → bool) (l: list A)
     53    on l ≝
     54  match l with
     55  [ nil        ⇒ true
     56  | cons hd tl ⇒ f hd ∧ forall A f tl
    4957  ].
    5058
Note: See TracChangeset for help on using the changeset viewer.