3 Commits

Include renames

Author	SHA1	Message	Date
Jon Eugster	1f14ad185f	internally rename lemma to theorem #108	2024-06-11 23:00:27 +02:00
Jon Eugster	ad1add5264	support translations of the games	2024-03-27 00:22:51 +01:00
Jon Eugster	27c661f08f	modify generated statement in inventory	2024-03-25 22:23:03 +01:00