2 Commits

Include renames

Author	SHA1	Message	Date
krangelov	6d898fc325	fix the gold standard	2021-10-05 13:24:44 +02:00
krangelov	26be741dea	most primitives in Predef.gf are now implemented	2021-10-05 11:31:39 +02:00