[Javapathfinder-svn] SF.net SVN: javapathfinder:[1634] branches/mango/Mango

[<fra...@us...>]

Revision: 1634
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1634&view=rev
Author:   frankrimlinger
Date:     2009-06-16 16:08:34 +0000 (Tue, 16 Jun 2009)

Log Message:
-----------
Added ACL2 folder for development of strategies for Mango proof artifacts.

Modified Paths:
--------------
    branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip
    branches/mango/MangoJPF/mangoUserHome/frank/rules/rulebase.zip

Added Paths:
-----------
    branches/mango/MangoJPF/ACL2/
    branches/mango/MangoJPF/ACL2/itsAWrap-construct.lisp
    branches/mango/MangoJPF/ACL2/itsAWrap-construct.lisp.a2s
    branches/mango/MangoJPF/ACL2/mango-model.lisp
    branches/mango/MangoJPF/ACL2/mango-model.lisp.a2s


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.