Searched refs:dir1 (Results 1 - 19 of 19) sorted by relevance

/seL4-l4v-master/HOL4/tools/Holmake/tests/badincludes/
H A Dselftest.sml29 val _ = inDir "dir1" (t "Bad INCLUDES line in a Holmakefile") []
/seL4-l4v-master/HOL4/tools/Holmake/tests/recursiveclean/
H A Dselftest.sml18 val testfiles = ["../depchain1/dir3/foo.uo", "../depchain1/dir2/dir1/bar.uo",
/seL4-l4v-master/isabelle/src/Pure/Admin/
H A Dbuild_polyml.scala130 val dir1 = sha1_root.get
131 bash(dir1, "./build " + platform_64, redirect = true, echo = true).check
133 val dir2 = dir1 + Path.explode(platform_64)
/seL4-l4v-master/l4v/isabelle/src/Pure/Admin/
H A Dbuild_polyml.scala130 val dir1 = sha1_root.get
131 bash(dir1, "./build " + platform_64, redirect = true, echo = true).check
133 val dir2 = dir1 + Path.explode(platform_64)
/seL4-l4v-master/HOL4/examples/AI_tasks/
H A DmleDiophSynt.sml341 val dir1 = HOLDIR ^ "/examples/AI_tasks/dioph_results_nolimit";
342 val _ = mkDir_err dir1;
354 val dir2 = dir1 ^ "/" ^ dataset ^ "_uniform";
360 val dir2 = dir1 ^ "/" ^ dataset ^ "_distance";
366 val dir2 = dir1 ^ "/" ^ dataset ^ "_tnn";
377 val dir2 = dir1 ^ "/" ^ dataset ^ "_uniform";
383 val dir2 = dir1 ^ "/" ^ dataset ^ "_distance";
389 val dir2 = dir1 ^ "/" ^ dataset ^ "_tnn";
H A DmleCombinSynt.sml388 val dir1 = HOLDIR ^ "/examples/AI_tasks/combin_results";
389 val _ = mkDir_err dir1;
402 val dir2 = dir1 ^ "/" ^ dataset ^ "_uniform";
408 val dir2 = dir1 ^ "/" ^ dataset ^ "_tnn";
419 val dir2 = dir1 ^ "/" ^ dataset ^ "_uniform";
425 val dir2 = dir1 ^ "/" ^ dataset ^ "_tnn";
/seL4-l4v-master/HOL4/polyml/modules/
H A DMakefile.in167 while test -n "$$dir1"; do \
168 first=`echo "$$dir1" | sed -e "$$sed_first"`; \
183 dir1=`echo "$$dir1" | sed -e "$$sed_rest"`; \
505 dir1=$$subdir; dir2="$(distdir)/$$subdir"; \
508 dir1=$$subdir; dir2="$(top_distdir)"; \
/seL4-l4v-master/isabelle/src/Pure/System/
H A Disabelle_system.scala167 def copy_dir(dir1: Path, dir2: Path): Unit =
168 bash("cp -a " + File.bash_path(dir1) + " " + File.bash_path(dir2)).check
/seL4-l4v-master/l4v/isabelle/src/Pure/System/
H A Disabelle_system.scala167 def copy_dir(dir1: Path, dir2: Path): Unit =
168 bash("cp -a " + File.bash_path(dir1) + " " + File.bash_path(dir2)).check
/seL4-l4v-master/HOL4/tools/unicode-grep/
H A Dugrep.sml276 \ " ^ CommandLine.name() ^ " [options] dir1 dir2 .. dirn\n\n\
314 echo " $0 dir1 dir2 .. dirn"
/seL4-l4v-master/HOL4/tools-poly/poly/
H A DHelp.sml199 | openFile (dir1 :: dirr) =
200 (TextIO.openIn (joinDirFile dir1 file))
/seL4-l4v-master/HOL4/src/integer/
H A DCooperMath.sml678 val (dir1, dir2) = if var_onL < var_onR then (Left, Right) value
682 move_terms_from tt dir1 (free_in var) THENC
723 List.find is_int_literal (strip_plus (dir_of_pair dir1 (l,r)))
738 move_terms_from tt dir1 is_mult THENC
746 conv_at dir1 collect_up_other_freevars THENC
747 TRY_CONV (conv_at dir1 collect_additive_consts) THENC
/seL4-l4v-master/HOL4/polyml/
H A DMakefile.in273 while test -n "$$dir1"; do \
274 first=`echo "$$dir1" | sed -e "$$sed_first"`; \
289 dir1=`echo "$$dir1" | sed -e "$$sed_rest"`; \
866 dir1=$$subdir; dir2="$(distdir)/$$subdir"; \
869 dir1=$$subdir; dir2="$(top_distdir)"; \
/seL4-l4v-master/HOL4/tools/
H A Dconfigure.sml27 valid for SML. For example, write "c:/dir1/dir2/mosml", rather
28 than "c:\\dir1\\dir2\\mosml", and certainly DON'T write
29 "c:\dir1\dir2\mosml".
/seL4-l4v-master/HOL4/tools-poly/
H A Dconfigure.sml27 valid for SML. For example, write "c:/dir1/dir2/mosml", rather
28 than "c:\\dir1\\dir2\\mosml", and certainly DON'T write
29 "c:\dir1\dir2\mosml".
/seL4-l4v-master/HOL4/tools/trailing-wspace/
H A Dtrailingwspace.sml179 val uheader = CommandLine.name() ^ " [options] dir1 dir2 ..."
/seL4-l4v-master/isabelle/src/Pure/Thy/
H A Dsessions.scala925 dir1 =
931 res <- load_dir(select, dir1)
/seL4-l4v-master/l4v/isabelle/src/Pure/Thy/
H A Dsessions.scala925 dir1 =
931 res <- load_dir(select, dir1)
/seL4-l4v-master/HOL4/src/bool/
H A DboolScript.sml3597 val dir1 = DISCH_ALL (CONJ p_thm (MP pimpq p_thm)) value
3602 IMP_ANTISYM_RULE dir1 dir2

Completed in 280 milliseconds