Searched refs:hpf (Results 1 - 5 of 5) sorted by relevance

/hets/test/GALILEO/
H A Drun.sh2 ../../hets -v2 -L $HETS_LIB:.. Heat.hpf
/hets/utils/el/
H A Dhpf-mode.el11 (defconst hpf-mode-version "0.1"
14 (defgroup hpf nil function
17 :prefix "hpf-")
19 (defvar hpf-mode-hook nil)
20 (defvar hpf-mode-map (let ((keymap (make-keymap)))
26 (defvar hpf-running-xemacs
32 (defvar hpf-mode-syntax-table nil
35 (if hpf-mode-syntax-table
49 (setq hpf-mode-syntax-table table))
53 (defun hpf
[all...]
/hets/utils/nightly/
H A Dcronjob.sh432 for i in *.hpf Basic/*.hpf Calculi/*/*.hpf; do ./hets -v2 $i; done
/hets/doc/
H A DUserGuideCommonLogic.tex1449 file. \texttt{hpf} files are plain text files representing heterogeneous
1450 proof scripts. The contents of a \texttt{hpf} file must be valid input for
1466 | hpf
1654 % LocalWords: Suttner Waldmeister urgen ITYPE OMDoc prf ATerms env hpf trm hs
H A DUserGuide.tex1199 to the current development graph in a .hpf file which can be later read by
1321 file. \texttt{hpf} files are plain text files representing heterogeneous
1322 proof scripts. The contents of a \texttt{hpf} file must be valid input for
1338 | hpf

Completed in 89 milliseconds