← Back to branch summary

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

« back to all changes in this revision

Viewing changes to books/parsers/earley/grammar-reader.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/parsers/earley/grammar-reader.lisp
674
674
   (encapsulate
675
675
    ()
676
676
    (local
677
 
 
678
677
; Provides us with the following, necessary for read-lexicon-line-strong
679
678
 
680
679
;;; (implies (and (stringp x)
682
681
;;;          (< 0 (length x)))))
683
682
 
684
683
     ;; [Jared]: removed newline to un-fool dependency scanner
685
 
     (include-book "str/arithmetic" :dir :system))
 
684
     (include-book "std/strings/arithmetic" :dir :system))
686
685
 
687
686
    (defthm read-lexicon-line-strong
688
687
      (implies (and