| changeset 53 | a036f6fb1516 |
| parent 52 | 6584b1ceedce |
| child 54 | 13a719ddef69 |
| 52:6584b1ceedce | 53:a036f6fb1516 |
|---|---|
1198 OVAR1 "string" |
1198 OVAR1 "string" |
1199 | OBJ1 "(string * (string \<Rightarrow> obj1)) list" |
1199 | OBJ1 "(string * (string \<Rightarrow> obj1)) list" |
1200 | INVOKE1 "obj1 \<Rightarrow> string" |
1200 | INVOKE1 "obj1 \<Rightarrow> string" |
1201 | UPDATE1 "obj1 \<Rightarrow> string \<Rightarrow> (string \<Rightarrow> obj1)" |
1201 | UPDATE1 "obj1 \<Rightarrow> string \<Rightarrow> (string \<Rightarrow> obj1)" |
1202 *) |
1202 *) |
1203 |
|
1204 Random test line at the end |