| author | Walther Neuper <wneuper@ist.tugraz.at> |
| Thu, 22 Dec 2016 11:36:20 +0100 | |
| changeset 59279 | 255c853ea2f0 |
| parent 59180 | 85ec71012df8 |
| child 59324 | ec559c6ab5ba |
| permissions | -rw-r--r-- |
| wenzelm@58330 | 1 |
#hard-wired components |
| wenzelm@44164 | 2 |
src/Tools/jEdit |
| wenzelm@50573 | 3 |
src/Tools/Graphview |
| blanchet@47146 | 4 |
src/HOL/Mirabelle |
| blanchet@47146 | 5 |
src/HOL/Mutabelle |
| blanchet@47146 | 6 |
src/HOL/Library/Sum_of_Squares |
| wneuper@59180 | 7 |
src/HOL/SPARK |
| wenzelm@53776 | 8 |
src/HOL/Tools |
| blanchet@38294 | 9 |
src/HOL/Tools/ATP |
| blanchet@47146 | 10 |
src/HOL/TPTP |