6 Commits

Include renames

Author	SHA1	Message	Date
aarne	84c64fe506	inspected ParadigmsX	2004-06-21 18:31:29 +00:00
aarne	87cbe1ac40	KeY	2004-06-09 18:43:06 +00:00
aarne	ffce426f10	VV and VS constructors added.	2004-02-23 11:37:22 +00:00
aarne	a25d30ccb0	Added mkPrepp to Paradigms.	2004-01-17 14:53:05 +00:00
aarne	a8ef931d46	Finished Finnish and German.	2004-01-09 14:34:30 +00:00
aarne	6c44041897	Close to finishing new verisons of Finnish and GErman.	2004-01-05 15:42:38 +00:00