equal
deleted
inserted
replaced
5 "Examples/FSet", |
5 "Examples/FSet", |
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"]; |