https://github.com/theoremprover-museum/HOL90
Name | Target | Message | Date |
---|---|---|---|
HEAD | 6700427 | 28 March 2017, 08:43:11 UTC | |
refs/heads/master | 6700427 | 28 March 2017, 08:43:11 UTC |
Name | Target | Message | Date |
---|---|---|---|
HEAD | 6700427 | 28 March 2017, 08:43:11 UTC | |
refs/heads/master | 6700427 | 28 March 2017, 08:43:11 UTC |