aerhart
new files
Fix pretau for interp context
Language updated proved
fixed subst
Merge branch 'master' of ssh://spartan.csl.sri.com/svn/internal/KoT
Language fixed
try to check that your fix does not contain bug ! Fixed for real
Leaving
new interp
Merge branch 'master' of ssh://spartan.csl.sri.com/svn/internal/KoT
Merge signature keyword
Boom
LIMIT
commit substy
Merge branch 'master' of ssh://spartan.csl.sri.com/svn/internal/KoT

Conflicts:
	kot/de_bruijn/subst.prf
	kot/de_bruijn/subst.pvs
Fix tau
No finseq2list
added ikeep, type, iconsr -> fail
remove extract1