3 Коммитов

Автор	SHA1	Сообщение	Дата
Ken McMillan	1271c223c6	alpha conversion seems to be working	2018-04-25 16:02:51 -07:00
Ken McMillan	6c41be499e	working on alpha conversion	2018-04-24 18:29:29 -07:00
Ken McMillan	cc33db5642	still on theorem prover	2018-04-20 18:28:29 -07:00