<div dir="ltr"><div><div>The web page for Dracula, the DrRacket front-end to the ACL2 theorem prover, has moved; it is now at:<br><br></div>  <a href="http://dracula-lang.github.io">http://dracula-lang.github.io</a><br><br>

</div>The old page now contains a link to the new one.<br><div><div><div><br clear="all"><div>Carl Eastlund</div>
</div></div></div></div>