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

Folder: sub

d .. (parent)
- - rw-r--r-- 82 ADD_EQ_IMP_SUB_EQ.doc
- - rw-r--r-- 93 ADD_LESS_EQ_SUB.doc
- - rw-r--r-- 62 ADD_SUB_SYM.doc
- - rw-r--r-- 102 GREATER_EQ_SUB_LESS_TO_ADD.doc
- - rw-r--r-- 92 LESS_EQ_ADD_SUB1.doc
- - rw-r--r-- 78 LESS_EQ_SUB_1.doc
- - rw-r--r-- 91 LESS_EQ_SUB_ADD.doc
- - rw-r--r-- 65 LESS_PRE.doc
- - rw-r--r-- 73 LESS_SUB_IMP_INV.doc
- - rw-r--r-- 93 LESS_SUB_IMP_SUM_LESS.doc
- - rw-r--r-- 97 LESS_SUB_TO_ADDL_LESS.doc
- - rw-r--r-- 97 LESS_SUB_TO_ADDR_LESS.doc
- - rw-r--r-- 113 LESS_TWICE_IMP_LESS_SUB.doc
- - rw-r--r-- 70 NOT_0_SUB.doc
- - rw-r--r-- 60 NOT_LESS_SUB.doc
- - rw-r--r-- 67 NOT_SUB_0.doc
- - rw-r--r-- 89 PRE_LESS_LESS_SUC.doc
- - rw-r--r-- 83 PRE_SUB_SUC.doc
- - rw-r--r-- 86 SMALLER_SUM.doc
- - rw-r--r-- 85 SUB_1_LESS.doc
- - rw-r--r-- 71 SUB_1_LESS_EQ.doc
- - rw-r--r-- 76 SUB_ADD_SELF.doc
- - rw-r--r-- 79 SUB_BOTH_SIDES.doc
- - rw-r--r-- 104 SUB_EQ_SUB_ADD_SUB.doc
- - rw-r--r-- 70 SUB_GREATER_0.doc
- - rw-r--r-- 96 SUB_GREATER_EQ_ADD.doc
- - rw-r--r-- 94 SUB_LESS_BOTH_SIDES.doc
- - rw-r--r-- 84 SUB_LESS_EQ_SUB1.doc
- - rw-r--r-- 109 SUB_LESS_EQ_SUB_SUC.doc
- - rw-r--r-- 97 SUB_LESS_TO_LESS_ADDL.doc
- - rw-r--r-- 97 SUB_LESS_TO_LESS_ADDR.doc
- - rw-r--r-- 88 SUB_LE_ADD.doc
- - rw-r--r-- 86 SUB_PRE_SUB_1.doc
- - rw-r--r-- 73 SUB_SUB_ID.doc
- - rw-r--r-- 79 SUB_SUC.doc
- - rw-r--r-- 88 SUB_SUC_PRE_SUB.doc
- - rw-r--r-- 123 SUC_SUB.doc