1.1 --- a/ROOTS	Thu Jan 21 17:29:33 2016 +0100
     1.2 +++ b/ROOTS	Fri Jan 22 15:53:13 2016 +0100
     1.3 @@ -12,6 +12,3 @@
     1.4  src/Tools
     1.5  src/Tools/isac
     1.6  test/Tools/isac/ADDTESTS/session-get_theory/
     1.7 -libisabelle-protocol/isabelle-2015/lib/classy
     1.8 -libisabelle-protocol/isabelle-2015
     1.9 -libisabelle-protocol/isabelle-common
    1.10 \ No newline at end of file