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

« back to all changes in this revision

Viewing changes to books/arithmetic-3/extra/top-ext.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/arithmetic-3/extra/top-ext.lisp

 

1

; Contributed by Alex Spiridonov, with helpful consulting from Robert Krug.

 

2

 

 

3

(in-package "ACL2")

 

4

 

 

5

(include-book "arithmetic-3/bind-free/top" :dir :system)

 

6

(include-book "arithmetic-3/floor-mod/floor-mod" :dir :system)

 

7

(include-book "ext")

 

8

 

 

9

(add-default-hints! '((nonlinearp-default-hint stable-under-simplificationp 

 

10

                                               hist pspv)))

 

11

 

 

12

(in-theory (enable strong-expt-type-prescription-rules))

• Older »

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