Changeset 2288 for src/RTLabs/syntax.ma


Ignore:
Timestamp:
Aug 2, 2012, 5:04:36 PM (9 years ago)
Author:
campbell
Message:

Remove jumptables from RTLabs. :(

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTLabs/syntax.ma

    r2287 r2288  
    2424*)
    2525| St_cond : register → label → label → statement
    26 | St_jumptable : register → list label → statement
    2726| St_return : statement
    2827.
     
    5756*)
    5857| St_cond _ l1 l2 ⇒ P l1 ∧ P l2
    59 | St_jumptable _ ls ⇒ All ? P ls
    6058| St_return ⇒ True
    6159].
Note: See TracChangeset for help on using the changeset viewer.