← Back to branch summary

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

« back to all changes in this revision

Viewing changes to books/centaur/gl/rws.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/centaur/gl/rws.lisp
39
39
(local (include-book "centaur/misc/equal-sets" :dir :system))
40
40
(local (include-book "centaur/misc/alist-equiv" :dir :system))
41
41
(local (include-book "std/lists/take" :dir :system))
 
42
(local (include-book "std/util/support" :dir :System))
42
43
 
43
44
;;; What does 'rws' abbreviate, in anything, asks Boyer???
44
45