5 Commits

Author	SHA1	Message	Date
aarne	c976663beb	KeY	2004-06-09 18:43:06 +00:00
aarne	fdcd0e16d7	VV and VS constructors added.	2004-02-23 11:37:22 +00:00
aarne	cfe47b0f90	Added mkPrepp to Paradigms.	2004-01-17 14:53:05 +00:00
aarne	8ee66b41d3	Finished Finnish and German.	2004-01-09 14:34:30 +00:00
aarne	4ee91af554	Close to finishing new verisons of Finnish and GErman.	2004-01-05 15:42:38 +00:00