https://github.com/theoremprover-museum/CLIN
Revision | Author | Date | Message | Commit Date |
---|---|---|---|---|
e7082fb | Michael Kohlhase | 22 December 2016, 09:28:55 UTC | 22 December 2016, 09:28:55 UTC |
Revision | Author | Date | Message | Commit Date |
---|---|---|---|---|
e7082fb | Michael Kohlhase | 22 December 2016, 09:28:55 UTC | 22 December 2016, 09:28:55 UTC |