This package was debianized by Freiric Barral on Wed, 1 Nov 2006 19:26:10 +0100. It was downloaded from http://www.minlog-system.de/ Here is a list of files followed by their respective copyright holder and license: logical.scm: bit access and operations for integers for Scheme Copyright (C) 1991, 1993, 2001, 2003, 2005 Aubrey Jaffer Permission to copy this software, to modify it, to redistribute it, to distribute modified versions, and to use it for any purpose is granted, subject to the following restrictions and understandings. 1. Any copy made of this software must include this copyright notice in full. 2. I have made no warranty or representation that the operation of this software will be error-free, and I am under no obligation to rovide any services, by way of maintenance, update, or otherwise. 3. In conjunction with products arising from the use of this material, there shall be no use of my name in any advertising, promotional, or sales literature without prior written consent in each case. pp-sexp.scm (modification of genwrite.scm): generic write used by pretty-print and truncated-print. Copyright (c) 1991, Marc Feeley Author: Marc Feeley (feeley@iro.umontreal.ca) Distribution restrictions: none Modified for Minlog by Stefan Schimanski Taken from slib 2d6, genwrite.scm and pp.scm lr-dvr.scm, lalr.scm: Copyright (C) 1984, 1989, 1990 Free Software Foundation, Inc. (for the Bison source code translated in Scheme) Copyright (C) 1996 Dominique Boucher (for the translation in Scheme) lalr.scm and lr-dvr.scm are free software; you can redistribute them and/or modify them under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2, or (at your option) any later version. lalr.scm and lr-dvr.scm are distributed in the hope that they 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, see Dominique Boucher -- Universite de Montreal Send questions, comments or suggestions to boucherd@iro.umontreal.ca bussproofs.sty. Version 0.6c: (c) 1994,1995,1996. Copyright retained by Samuel R. Buss. This software may be used and distributed freely, except that if you make changes, you must change the file name to be different than bussproofs.sty to avoid compatibility problems. This is a *prerelease* version and is subject to change. Please report comments and bugs to sbuss@ucsd.edu. All other files have the following copyright holder and license: Copyright Holder: Helmut Schwichtenberg (schwicht@math.lmu.de) and members of the logic group (logik@math.lmu.de) minlog mail is minlog@mathematik.uni-muenchen.de License: You are free to distribute this software under the terms of the GNU General Public License. On Debian systems, the complete text of the GNU General Public License can be found in the file "/usr/share/common-licenses/GPL-2".