File: abs_theory.idx

package info (click to toggle)
hol88 2.02.19940316dfsg-6
  • links: PTS
  • area: main
  • in suites: trixie
  • size: 65,956 kB
  • sloc: ml: 199,939; ansic: 9,666; sh: 6,913; makefile: 6,032; lisp: 2,747; yacc: 894; sed: 201; cpp: 87; awk: 5
file content (15 lines) | stat: -rw-r--r-- 928 bytes parent folder | download | duplicates (11) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
 
\indexentry{ABS\_TAC\_PROOF@{\ptt ABS\_TAC\_PROOF}}{19}
\indexentry{abs\_type\_info@{\ptt abs\_type\_info}}{19}
\indexentry{close\_theory@{\ptt close\_theory}}{20}
\indexentry{EXPAND\_THOBS\_TAC@{\ptt EXPAND\_THOBS\_TAC}}{21}
\indexentry{g@{\ptt g}}{21}
\indexentry{instantiate\_abstract\_definition@{\ptt instantiate\_abstract\_definition}}{22}
\indexentry{instantiate\_abstract\_theorem@{\ptt instantiate\_abstract\_theorem}}{22}
\indexentry{new\_abstract\_representation@{\ptt new\_abstract\_representation}}{23}
\indexentry{new\_abs\_parent@{\ptt new\_abs\_parent}}{23}
\indexentry{new\_theory@{\ptt new\_theory}}{24}
\indexentry{new\_theory\_obligations@{\ptt new\_theory\_obligations}}{25}
\indexentry{prove\_abs\_thm@{\ptt prove\_abs\_thm}}{26}
\indexentry{set\_abs\_goal@{\ptt set\_abs\_goal}}{27}
\indexentry{STRIP\_THOBS\_TAC@{\ptt STRIP\_THOBS\_TAC}}{27}
\indexentry{STRIP\_THOBS\_THEN@{\ptt STRIP\_THOBS\_THEN}}{28}