← Back to branch summary

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

« back to all changes in this revision

Viewing changes to books/workshops/2007/rubio/support/Readme.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/2007/rubio/support/Readme.lsp
 
1
((:FILES "
 
2
.:
 
3
Makefile
 
4
Readme.lsp
 
5
abstract-reductions
 
6
multisets
 
7
simplicial-topology
 
8
 
 
9
./abstract-reductions:  ;;; we include this alredy existing library
 
10
Makefile
 
11
abstract-proofs.lisp
 
12
confluence.acl2
 
13
confluence.lisp
 
14
convergent.acl2
 
15
convergent.lisp
 
16
newman.acl2
 
17
newman.lisp
 
18
 
 
19
./multisets:  ;;; we include this alredy existing library
 
20
Makefile
 
21
defmul.acl2
 
22
defmul.lisp
 
23
multiset.acl2
 
24
multiset.lisp
 
25
 
 
26
./simplicial-topology:
 
27
Makefile
 
28
generate-degenerate.acl2
 
29
generate-degenerate.lisp
 
30
"
 
31
)
 
32
 (:TITLE    "Formalizing simplicial topology in ACL2")
 
33
 (:AUTHOR/S "J. Rubio" "M. Andres" "L. Lamban" "J.L. Ruiz-Reina") ; non-empty list of author strings
 
34
 (:KEYWORDS ; non-empty list of keywords, case-insensitive
 
35
   "book contributions" "contributed books"
 
36
   )
 
37
 (:ABSTRACT
 
38
"Supporting materials for the paper 
 
39
Formalizing Simplicial Topology in ACL2.
 
40
Submitted to ACL2 workshop 2007
 
41
 
 
42
")
 
43
 (:PERMISSION ; author/s permission for distribution and copying:
 
44
"Copyright (C) 2006 J. Rubio, M. Andres, L. Lamban, J.L. Ruiz-Reina
 
45
 
 
46
This program is free software; you can redistribute it and/or
 
47
modify it under the terms of the GNU General Public License
 
48
as published by the Free Software Foundation; either version 2
 
49
of the License, or (at your option) any later version.
 
50
 
 
51
This program is distributed in the hope that it will be useful,
 
52
but WITHOUT ANY WARRANTY; without even the implied warranty of
 
53
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 
54
GNU General Public License for more details.
 
55
 
 
56
You should have received a copy of the GNU General Public License
 
57
along with this program; if not, write to the Free Software
 
58
Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
 
59
02110-1301, USA."))
 
 
b'\\ No newline at end of file'