Searched defs:REAL (Results 1 - 2 of 2) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/polyml/basis/ | ||
| H A D | RealSignature.sml | 20 signature REAL = signature |
| /seL4-l4v-10.1.1/HOL4/src/real/ | ||
| H A D | realScript.sml | 744 val REAL = store_thm("REAL", value [all...] |
Completed in 41 milliseconds