← Back to branch summary

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

« back to all changes in this revision

Viewing changes to books/misc/arithmetic-top-theory.lisp

  • 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/misc/arithmetic-top-theory.lisp
 
1
; Copyright (C) 2014, Regents of the University of Texas
 
2
; Written by Matt Kaufmann, December, 2014
 
3
; License: A 3-clause BSD license.  See the LICENSE file distributed with ACL2.
 
4
 
 
5
; This little book is used by defpm.lisp.
 
6
 
 
7
(in-package "ACL2")
 
8
 
 
9
(include-book "arithmetic/top" :dir :system)
 
10
 
 
11
(deftheory-static arithmetic-top-theory
 
12
  (current-theory :here))