File: README

package info (click to toggle)
acl2 8.6%2Bdfsg-2
  • links: PTS
  • area: main
  • in suites: trixie
  • size: 1,111,420 kB
  • sloc: lisp: 17,818,294; java: 125,359; python: 28,122; javascript: 23,458; cpp: 18,851; ansic: 11,569; perl: 7,678; xml: 5,591; sh: 3,976; makefile: 3,833; ruby: 2,633; yacc: 1,126; ml: 763; awk: 295; csh: 233; lex: 197; php: 178; tcl: 49; asm: 23; haskell: 17
file content (10 lines) | stat: -rw-r--r-- 393 bytes parent folder | download | duplicates (8) 
1
2
3
4
5
6
7
8
9
10
 
Copyright (C) 1994,1995,1996 Computational Logic, Inc. (CLI)
*except* as otherwise indicated in individual files.
All Rights Reserved.

Use of this software constitutes agreement with the terms of the
license agreement, found in the file LICENSE.

These files were originally authored by Mike Smith and Matt Kaufmann
while employed at Computational Logic, Inc., except as otherwise
indicated.