~ubuntu-branches/ubuntu/gutsy/acl2/gutsy

« back to all changes in this revision

Viewing changes to books/rtl/rel5/lib/add.lisp

• browse files at revision 7
• compare with another revision
• download diff
• download tarball
• view history from revision 7

Show diffs side-by-side

added

removed

books/rtl/rel5/lib/add.lisp

2

2

 

3

3

(set-enforce-redundancy t)

4

4

 

 

5

(local (include-book "../support/top"))

 

6

 

5

7

(include-book "round")

6

8

 

7

 

(local (include-book "../support/top"))

8

 

 

9

9

(set-inhibit-warnings "theory") ; avoid warning in the next event

10

10

(local (in-theory nil))

11

11

 

• Older »

Loggerhead is a web-based interface for Breezy
Version: 2.0.1