diff options
author | 2012-10-03 15:35:47 +0000 | |
---|---|---|
committer | 2012-10-03 15:35:47 +0000 | |
commit | 09a7c8f5bf7e080c8853895a26b212a11f4163a4 (patch) | |
tree | b2cc6add48c5a5ac8e6fbc465de060ce41645e3f /acl2/root2.acl2 | |
parent | 75d8fe55b4108940e6b7be23a1f968e37c3b0873 (diff) |
Fixed auto-insert-as stuff + fix compiling problems.
Diffstat (limited to 'acl2/root2.acl2')
0 files changed, 0 insertions, 0 deletions