← Back to branch summary

~ubuntu-branches/ubuntu/wily/acl2/wily

« back to all changes in this revision

Viewing changes to books/workshops/1999/ivy/ivy-v2/ivy-sources/Certify.lsp

  • Committer: Package Import Robot
  • Author(s): Camm Maguire
  • Date: 2015-01-16 10:35:45 UTC
  • mfrom: (3.3.26 sid)
  • Revision ID: package-import@ubuntu.com-20150116103545-prehe9thgo79o8w8
Tags: 7.0-1
New upstream release

Show diffs side-by-side

added added

removed removed

Lines of Context:
books/workshops/1999/ivy/ivy-v2/ivy-sources/Certify.lsp
 
1
(in-package "ACL2")
 
2
 
 
3
(ubt! 1)
 
4
 
 
5
(certify-book "arithmetic")   :u
 
6
(certify-book "sets")   :u
 
7
(certify-book "permutations")   :u
 
8
(certify-book "base")   :u
 
9
(certify-book "xeval")   :u
 
10
(certify-book "variables")   :u
 
11
(certify-book "alls")   :u
 
12
(certify-book "wfftype")   :u
 
13
(certify-book "stage")   :u
 
14
(certify-book "keval")   :u
 
15
(certify-book "close")   :u
 
16
(certify-book "resolve")   :u
 
17
(certify-book "paramod")   :u
 
18
(certify-book "flip")   :u
 
19
(certify-book "prop-subsume")   :u
 
20
(certify-book "gensym-e")   :u
 
21
(certify-book "instance")   :u
 
22
(certify-book "instance-closure")   :u
 
23
(certify-book "substitution")   :u
 
24
(certify-book "simultaneous-d")   :u
 
25
(certify-book "uc-conj")   :u
 
26
(certify-book "derive")   :u
 
27
(certify-book "simple-check")   :u
 
28
(certify-book "cnf")   :u
 
29
(certify-book "right-assoc")   :u
 
30
(certify-book "nnf")   :u
 
31
(certify-book "simplify")   :u
 
32
(certify-book "rename")   :u
 
33
(certify-book "rename-sound")   :u
 
34
(certify-book "rename-unique")   :u
 
35
(certify-book "rename-top")   :u
 
36
(certify-book "pull")   :u
 
37
(certify-book "pull-sound")   :u
 
38
(certify-book "pull-pulls")   :u
 
39
(certify-book "pull-top")   :u
 
40
(certify-book "sk-misc-lemmas")   :u
 
41
(certify-book "sk-useless")   :u
 
42
(certify-book "sk-step")   :u
 
43
(certify-book "sk-xbuild")   :u
 
44
(certify-book "sk-step-sound")   :u
 
45
(certify-book "skolem-top")   :u
 
46
(certify-book "prover")   :u
 
47
(certify-book "modeler")   :u
 
48
(certify-book "top")   :u
 
49
(certify-book "sugar")   :u
 
50