package info (click to toggle)
cafeobj 1.6.0-2
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, bullseye, sid
  • size: 19,900 kB
  • sloc: lisp: 85,055; sh: 659; makefile: 437; perl: 147

Folder: thstuff

d .. (parent)
- - rw-r--r-- 132,805 apply-tactic.lisp
- - rw-r--r-- 25,748 basics.lisp
- - rw-r--r-- 33,905 bterm-inspector.lisp
- - rw-r--r-- 4,002 case.lisp
- - rw-r--r-- 65,270 cexec.lisp
- - rwxr-xr-x 31,054 citp.lisp
- - rw-r--r-- 18,999 eval-apply.lisp
- - rw-r--r-- 10,714 eval-match.lisp
- - rw-r--r-- 25,448 parse-apply.lisp
- - rw-r--r-- 65,184 proof-struct.lisp