Janna's examples updated

This commit is contained in:
aarne
2007-12-19 07:05:02 +00:00
parent 634392876d
commit 9ab29b205d
9 changed files with 206 additions and 25 deletions

View File

@@ -0,0 +1,10 @@
abstract Examples = {
cat
Ex ;
fun
ex1, ex2, ex4, ex8, ex13, ex19, ex20, ex23,
ex3, ex5, ex6, ex7, ex10, ex12, ex14, ex15, ex16, ex24, ex25, ex26, ex27,
ex9,
ex11, ex17, ex18, ex21, ex22 : Ex ;
}