absthm.art « test - opentheory-transform - Opentheory proof trace optimizer

summary refs log tree commit diff

path: root/test/absthm.art

blob: 244f89ab8984d54a3bb70107e4cc7076c2aa8f90 (plain)

"bool"
"bool"
varType
var
#varTerm
"bool"
const
"bool"
typeOp
nil
opType
constTerm
refl
absThm