equal
deleted
inserted
replaced
6 "Examples/FSet2", |
6 "Examples/FSet2", |
7 "Examples/IntEx", |
7 "Examples/IntEx", |
8 "Examples/IntEx2", |
8 "Examples/IntEx2", |
9 "Examples/LFex", |
9 "Examples/LFex", |
10 "Examples/LamEx", |
10 "Examples/LamEx", |
11 "Examples/Larry"]; |
11 "Examples/LarryDatatype"]; |