» Content »pkg://acl2_4.3.orig.tar.gz:15251431
/ info downloads
; WARNING: This directory is under development. It may undergo large changes
; in future releases, so please consider it experimental and subject to change.
(:TITLE "Arithmetic library for ACL2 students")
(:AUTHOR/S "Alex Spiridonov")
"Include the book top-ext in order to get a useful set of arithmetic lemmas.
This set includes rules not found in the rest of the arithmetic-3 library.
WARNING: This directory is under development. It may undergo large changes
in future releases, so please consider it experimental and subject to change.
We thank Robert Krug for providing useful guidance."
Copyright (C) 2006 Alex Spiridonov
This program is free software; you can redistribute it and/ormodify it under
the terms of the GNU General Public Licenseas published by the Free Software
Foundation; either version 2 of the License, or (at your option) any later
version. This program is distributed in the hope that it will be useful, but
WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more
details.You should have received a copy of the GNU General Public License along
with this program; if not, write to the Free Software Foundation, Inc., 51
Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA."
Results 1 - 1 of 1Search over 15 billion files
© 1997-2017 FileWatcher.com