null

Home

Sort by

Full Search
Definition
Symbol
File Path
History

In Project(s)

Searched refs:fmt (Results 1 - 6 of 6) sorted by relevance

/hets/HolLight/OcamlTools/exportTools/
H A D	export_helper.ml	46 let pp_int fmt i = Format.fprintf fmt "%i" i 48 let pp_str fmt s = Format.fprintf fmt "%s" (xml_escape_str s) 50 let pp_inner_indented s e pi fmt i = Format.fprintf fmt "@[<hv>@[<hv 1>%s@,%a@]@,@]%s" s pi i e 52 let pp_inner_tuple p1 p2 fmt (_1,_2) = Format.fprintf fmt "%a@,%a" (pp_inner_indented "<fst>" "</fst>" p1) _1 (pp_inner_indented "<snd>" "</snd>" p2) _2 53 let pp_tuple p1 p2 fmt t = pp_inner_indented "<tuple>" "</tuple>" (pp_inner_tuple p1 p2) fmt 103 let fmt = Format.formatter_of_out_channel out_ch in var [all...]
/hets/GMP/papers/conditional/
H A D	entcs.cls	`762 \history@fmt % print history (received, ...) 774 \dedicated@fmt % print dedication 827 \title@note@fmt % formatting instruction 829 {\title@note@fmt}% 832 \title@fmt{\@title}{\title@notes}% % print the title 838 \subtitle@fmt{\@subtitle}{\title@notes} % print the title 845 \def\title@fmt#1#2{% 851 \def\subtitle@fmt#1#2{% % No vertical space above sub-title 853 \def\title@note@fmt{\def\thefootnote{\fnstar{footnote}}} 859 \author@fmt{\th [all...]`
/hets/GMP/papers/heterogenous/
H A D	entcs.cls	`762 \history@fmt % print history (received, ...) 774 \dedicated@fmt % print dedication 827 \title@note@fmt % formatting instruction 829 {\title@note@fmt}% 832 \title@fmt{\@title}{\title@notes}% % print the title 838 \subtitle@fmt{\@subtitle}{\title@notes} % print the title 845 \def\title@fmt#1#2{% 851 \def\subtitle@fmt#1#2{% % No vertical space above sub-title 853 \def\title@note@fmt{\def\thefootnote{\fnstar{footnote}}} 859 \author@fmt{\th [all...]`
/hets/GMP/papers/optInWork/
H A D	entcs.cls	`762 \history@fmt % print history (received, ...) 774 \dedicated@fmt % print dedication 827 \title@note@fmt % formatting instruction 829 {\title@note@fmt}% 832 \title@fmt{\@title}{\title@notes}% % print the title 838 \subtitle@fmt{\@subtitle}{\title@notes} % print the title 845 \def\title@fmt#1#2{% 851 \def\subtitle@fmt#1#2{% % No vertical space above sub-title 853 \def\title@note@fmt{\def\thefootnote{\fnstar{footnote}}} 859 \author@fmt{\th [all...]`
/hets/GMP/papers/optimizing/
H A D	entcs.cls	`762 \history@fmt % print history (received, ...) 774 \dedicated@fmt % print dedication 827 \title@note@fmt % formatting instruction 829 {\title@note@fmt}% 832 \title@fmt{\@title}{\title@notes}% % print the title 838 \subtitle@fmt{\@subtitle}{\title@notes} % print the title 845 \def\title@fmt#1#2{% 851 \def\subtitle@fmt#1#2{% % No vertical space above sub-title 853 \def\title@note@fmt{\def\thefootnote{\fnstar{footnote}}} 859 \author@fmt{\th [all...]`
/hets/CASL/Termination/
H A D	AProVE.jar	`META-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ...`

Completed in 306 milliseconds