该仓库已于 2020-12-18 归档。您可以查看文件或克隆它，但不能推送、创建工单或合并请求。

Michael Herzberg f955f2fa56 Fixed long lines and simp lemmas without names.		2020-07-22 22:11:21 +01:00
..
Core_DOM	Fixed long lines and simp lemmas without names.	2020-07-22 22:11:21 +01:00
Core_SC_DOM	Fixed long lines and simp lemmas without names.	2020-07-22 22:11:21 +01:00
CITATION	Initial commit.	2018-12-25 23:47:54 +00:00
ROOTS	Renaming.	2020-04-16 21:28:29 +01:00