search

calebegg / proof-pad-classic

An IDE for ACL2
http://proofpad.org
GNU General Public License v3.0
21 stars 4 forks source link

(if (cons ...) ...) warning #57

Open calebegg opened 11 years ago

calebegg commented 11 years ago

Should be consp, almost certainly.