| changeset 918 | 7be9b054f672 |
| parent 779 | 3b21b24a5fb6 |
| child 1128 | 17ca92ab4660 |
| 917:2cb5745f403e | 918:7be9b054f672 |
|---|---|
9 "Examples/IntEx", |
9 "Examples/IntEx", |
10 "Examples/IntEx2", |
10 "Examples/IntEx2", |
11 "Examples/LFex", |
11 "Examples/LFex", |
12 "Examples/LamEx", |
12 "Examples/LamEx", |
13 "Examples/LarryDatatype", |
13 "Examples/LarryDatatype", |
14 "Examples/LarryInt"]; |
14 "Examples/LarryInt", |
15 "Examples/Terms"]; |