autocorres-0.98 tuned for Isabelle 2014

Original source: http://ssrg.nicta.com/projects/TS/autocorres/
Original author: David Greenaway

"The tool is released under a BSD-style license, however some bundled
 components are under other licenses. Please refer to copyright notices included
 in the release for further details."
Iptables_Semantics
Examples
proof documents