| changeset 54 | 13a719ddef69 |
| parent 53 | a036f6fb1516 |
| child 55 | b2ab3ba388a0 |
| 53:a036f6fb1516 | 54:13a719ddef69 |
|---|---|
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 |
1203 |
1204 Random test line at the end |
1204 Random test line at the end |
1205 A second line |