https://github.com/theoremprover-museum/HOL90
Tip revision: 670042724baa8faba654864813ce5815118766d2 authored by Michael Kohlhase on 28 March 2017, 08:43:11 UTC
first commit of the sources found by Mike Gordon
first commit of the sources found by Mike Gordon
Tip revision: 6700427