1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/libisabelle-protocol/lib/classy/ROOT Wed Apr 06 16:56:47 2016 +0200
1.3 @@ -0,0 +1,9 @@
1.4 +session Classy = Pure +
1.5 + theories
1.6 + Classy
1.7 + Test
1.8 +
1.9 +session "HOL-Classy" = HOL +
1.10 + theories
1.11 + Classy
1.12 + Test