package info (click to toggle)
hol88 2.02.19940316-8
  • links: PTS
  • area: main
  • in suites: lenny
  • size: 63,120 kB
  • ctags: 19,367
  • sloc: ml: 199,939; ansic: 9,300; sh: 7,118; makefile: 6,074; lisp: 2,747; yacc: 894; sed: 201; cpp: 87; awk: 5

Folder: entries

d .. (parent)
- - rw-r--r-- 2,007 DELETE_CONV.doc
- - rw-r--r-- 566 FINITE_CONV.doc
- - rw-r--r-- 3,977 IMAGE_CONV.doc
- - rw-r--r-- 2,852 INSERT_CONV.doc
- - rw-r--r-- 2,338 IN_CONV.doc
- - rw-r--r-- 1,232 SET_INDUCT_TAC.doc
- - rw-r--r-- 1,006 SET_SPEC_CONV.doc
- - rw-r--r-- 2,460 UNION_CONV.doc