wneuper/isa: etc/components@0eee7d72b107

etc/components

author	Mathias Lehnfeld <s1210629013@students.fh-hagenberg.at>
	Wed, 25 Sep 2013 13:52:54 +0100
changeset 52134	0eee7d72b107
child 55272	6e943f644cca
permissions	-rw-r--r--

installation dependent files restored.

     1 src/Tools/Code

     2 src/Tools/jEdit

     3 src/Tools/Graphview

     4 src/Tools/WWW_Find

     5 src/HOL/Mirabelle

     6 src/HOL/Mutabelle

     7 src/HOL/Library/Sum_of_Squares

     8 src/HOL/Tools/ATP

     9 src/HOL/Tools/Predicate_Compile

    10 src/HOL/Tools/Sledgehammer/MaSh

    11 src/HOL/Tools/SMT

    12 src/HOL/TPTP

wneuper/isa