aboutsummaryrefslogtreecommitdiff
path: root/jobs/acl2-theorems.develop.run
blob: 635659511e4a202bc01b6748828f4732b1bddce8 (about) (plain)
1
./acl2-theorems.run