Searched defs:tags (Results 1 - 4 of 4) sorted by last modified time

/seL4-l4v-10.1.1/graph-refine/
H A Dproblem.py128 def tags (self): member in class:Problem
/seL4-l4v-10.1.1/HOL4/src/quotient/examples/sigma/
H A Dbarendregt.sml366 val (tags,groups) = split match_groups value
/seL4-l4v-10.1.1/HOL4/src/quotient/examples/lambda/
H A Dbarendregt.sml351 val (tags,groups) = split match_groups value
/seL4-l4v-10.1.1/HOL4/src/postkernel/
H A DTheory.sml595 val tags = Lib.set_diff (fst (Tag.dest_tag (Thm.tag th))) ["DISK_THM"] value

Completed in 66 milliseconds