Searched +path:translate +path:. +path:hs (Results 1 - 5 of 5) sorted by relevance
| /hets/Isabelle/ | ||
| H A D | Translate.hs | |
| /hets/SoftFOL/ | ||
| H A D | Translate.hs | |
| /hets/THF/ | ||
| H A D | Translate.hs | |
| /hets/OWL2/ | ||
| H A D | Translate.hs | |
| /hets/TPTP/ | ||
| H A D | Translate.hs | |
Completed in 6 milliseconds