Searched refs:line_num (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/opentheory/postbool/
H A DOpentheory.sml141 fun st_(st,{stack,dict,thms,line_num}) = {stack=st,dict=dict,thms=thms}
198 | f "pop" (st as {stack=OList[OList hl,OTerm c]::OThm th::os,line_num,...}) = let
205 raise ERR ("proved wrong theorem (c) line: "^(Int.toString line_num))
211 raise ERR ("proved wrong theorem (h) line: "^(Int.toString line_num))
252 | f s (st as {stack,dict,thms,line_num,...}) = let val c = String.sub(s,0) open Char Option Int
256 raise ERR ("Unknown command (or bad arguments) on line "^(Int.toString line_num)^": <<"^s^">>")
258 fun loop (x as {line_num,...}) = case TextIO.inputLine input of
262 in loop {stack=stack,dict=dict,thms=thms,line_num=line_num+1} end
265 (#thms (loop {stack=[],dict=Map.mkDict(Int.compare),thms=Net.empty,line_num
[all...]
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/scripts/
H A Dmlpp96 my $line_num = 0;
178 print STDOUT "(*#line $line_num.0 \"$filename\"*)\n";
234 ++$line_num;
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/scripts/
H A Dmlpp96 my $line_num = 0;
178 print STDOUT "(*#line $line_num.0 \"$filename\"*)\n";
234 ++$line_num;

Completed in 18 milliseconds