Ignore:
Timestamp:
May 17, 2012, 12:25:41 AM (8 years ago)
Author:
sacerdot
Message:

More examples are now indexed.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/StatusProofs.ma

    r1959 r1962  
    8181qed.
    8282
    83 example get_arg_8_set_program_counter:
     83lemma get_arg_8_set_program_counter:
    8484 ∀n.∀l:Vector addressing_mode_tag (S n).
    8585  ∀T,cm,s,pc,b.∀arg:l.
     
    184184qed. *)
    185185
    186 example set_arg_8_set_program_counter:
     186lemma set_arg_8_set_program_counter:
    187187  ∀n:nat.
    188188  ∀l:Vector addressing_mode_tag (S n).
Note: See TracChangeset for help on using the changeset viewer.