Searched defs:theory (Results 1 - 15 of 15) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/postkernel/
H A DDB_dtype.sml5 datatype theory = type
H A DDB.sig6 datatype theory = datatype DB_dtype.theory type
H A DTheoryPP.sml206 val {theory as (name,i1,i2), parents=parents0, value
310 val {theory as (name,i1,i2), parents=parents0, value
/seL4-l4v-10.1.1/HOL4/src/1/
H A DSanity.sig6 type theory = Hol_pp.theory type
H A DSanity.sml12 type theory = Hol_pp.theory; type
/seL4-l4v-10.1.1/HOL4/src/parse/
H A DHol_pp.sig6 type theory = DB.theory type
/seL4-l4v-10.1.1/HOL4/src/pred_set/Manual/
H A Ddescription.tex[all...]
/seL4-l4v-10.1.1/HOL4/src/res_quan/Manual/
H A Dsummary.tex
/seL4-l4v-10.1.1/isabelle/src/Doc/Logics_ZF/document/
H A DZF.tex[all...]
/seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Logics_ZF/document/
H A DZF.tex[all...]
/seL4-l4v-10.1.1/HOL4/src/tactictoe/src/
H A DtttOpen.sml30 val theory = base ^ "Theory" value
/seL4-l4v-10.1.1/isabelle/src/Doc/Intro/document/
H A Dadvanced.tex[all...]
/seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Intro/document/
H A Dadvanced.tex[all...]
/seL4-l4v-10.1.1/HOL4/Manual/Description/
H A Dmisc.tex[all...]
/seL4-l4v-10.1.1/HOL4/src/TeX/
H A DmungeTools.sml331 val (theory,theorem) = value

Completed in 140 milliseconds