Searched defs:nl (Results 1 - 14 of 14) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/HolBdd/Examples/KatiPuzzle/
H A DKatiPuzzleScript.sml207 fun nl () = print"\n" function
[all...]
/seL4-l4v-10.1.1/HOL4/examples/HolBdd/Examples/Solitaire/
H A DHexSolitaireScript.sml190 fun nl () = print"\n" function
H A DSolitaireScript.sml233 fun nl () = print"\n" function
/seL4-l4v-10.1.1/HOL4/examples/PSL/1.01/parser/
H A DParserTools.sml340 val nl = List.tabulate(length ll + 1,I) value
/seL4-l4v-10.1.1/HOL4/src/patricia/
H A DsptreeSyntax.sml186 val nl = List.map f l value
/seL4-l4v-10.1.1/HOL4/src/postkernel/
H A DTheoryReader.sml171 let val (nl,cont) = wait_nonumber [] (tl l) in value
/seL4-l4v-10.1.1/HOL4/src/tactictoe/src/
H A DtacticToe.sml179 val nl = fea_of_goallist gl value
/seL4-l4v-10.1.1/HOL4/examples/HolCheck/
H A DcommonTools.sml296 val nl = if i = (n-1) then List.tabulate(n-1,fn n => n +1) else List.tabulate(n-(n-i)+1,I) value
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm8/prog/
H A Darm8_progLib.sml646 val nl = ref (fn () => ()) value
/seL4-l4v-10.1.1/HOL4/src/n-bit/
H A DblastLib.sml526 val nl = p (Arbnum.- (Arbnum.pow (Arbnum.two, sz), n)) value
H A DwordsLib.sml2912 val nl = dest_numeral l value
2936 val nl = value
/seL4-l4v-10.1.1/HOL4/examples/ARM/v4/
H A Darm_evalLib.sml749 val nl = (tmr next (f, t)) :: l value
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/
H A DfmapExample.sml1287 val nl = (fst(dest_const con) ^ "LeftIf") value
/seL4-l4v-10.1.1/HOL4/examples/separationLogic/src/
H A Dvars_as_resourceFunctor.sml2769 val nl = get_resort_list___pred is_asl_star sfb; value
2801 val nl = get_resort_list___pred is_asl_trivial_cond sfb; value
2831 val nl = get_resort_list___pred is_asl_false sfb; value
2855 val nl value
[all...]

Completed in 123 milliseconds