Size | # | Folders | Files | Lines | Code |
44 |
x 2 |
cluster/isabellecluster/isabelle |
|
2857:2901 (1%)2949:2993 (1%) |
view |
42 |
x 2 |
cluster/isabellecluster/isabelle |
|
568:609 (1%)670:711 (1%) |
view |
26 |
x 2 |
cluster/isabellecluster/isabelle |
|
1940:1966 (<1%)2949:2975 (<1%) |
view |
26 |
x 2 |
cluster/isabellecluster/isabelle |
|
1940:1966 (<1%)2857:2883 (<1%) |
view |
23 |
x 2 |
cluster/isabellecluster/isabelle |
|
668:691 (<1%)1948:1971 (<1%) |
view |
22 |
x 2 |
cluster/isabellecluster/isabelle |
|
568:589 (<1%)1950:1971 (<1%) |
view |
19 |
x 2 |
cluster/isabellecluster/isabelle |
|
787:805 (<1%)1950:1968 (<1%) |
view |
19 |
x 2 |
cluster/isabellecluster/isabelle |
|
1954:1972 (<1%)2625:2643 (<1%) |
view |
19 |
x 2 |
cluster/isabellecluster/isabelle |
|
670:688 (<1%)787:805 (<1%) |
view |
19 |
x 2 |
cluster/isabellecluster/isabelle |
|
2827:2846 (<1%)2919:2938 (<1%) |
view |
19 |
x 2 |
cluster/isabellecluster/isabelle |
|
568:586 (<1%)787:805 (<1%) |
view |
18 |
x 2 |
cluster/isabellecluster/isabelle |
|
668:686 (<1%)2865:2883 (<1%) |
view |
18 |
x 2 |
cluster/isabellecluster/isabelle |
|
572:589 (<1%)2625:2642 (<1%) |
view |
18 |
x 2 |
cluster/isabellecluster/isabelle |
|
674:691 (<1%)2625:2642 (<1%) |
view |
18 |
x 2 |
cluster/isabellecluster/isabelle |
|
668:686 (<1%)2957:2975 (<1%) |
view |
17 |
x 2 |
cluster/isabellecluster/isabelle |
|
787:803 (<1%)2959:2975 (<1%) |
view |
17 |
x 2 |
cluster/isabellecluster/isabelle |
|
568:584 (<1%)2867:2883 (<1%) |
view |
17 |
x 2 |
cluster/isabellecluster/isabelle |
|
1911:1928 (<1%)2828:2845 (<1%) |
view |
17 |
x 2 |
cluster/isabellecluster/isabelle |
|
572:588 (<1%)1131:1147 (<1%) |
view |
17 |
x 2 |
cluster/isabellecluster/isabelle |
|
1131:1147 (<1%)2625:2641 (<1%) |
view |
17 |
x 2 |
cluster/isabellecluster/isabelle |
|
674:690 (<1%)1131:1147 (<1%) |
view |
17 |
x 2 |
cluster/isabellecluster/isabelle |
|
787:803 (<1%)2867:2883 (<1%) |
view |
17 |
x 2 |
cluster/isabellecluster/isabelle |
|
1131:1147 (<1%)1954:1970 (<1%) |
view |
17 |
x 2 |
cluster/isabellecluster/isabelle |
|
1911:1928 (<1%)2920:2937 (<1%) |
view |
17 |
x 2 |
cluster/isabellecluster/isabelle |
|
568:584 (<1%)2959:2975 (<1%) |
view |
16 |
x 2 |
cluster/isabellecluster/isabelle |
|
2354:2369 (<1%)2480:2495 (<1%) |
view |
16 |
x 2 |
cluster/isabellecluster/isabelle |
|
694:709 (<1%)1973:1988 (<1%) |
view |
16 |
x 2 |
cluster/isabellecluster/isabelle |
|
540:556 (<1%)642:658 (<1%) |
view |
16 |
x 2 |
cluster/isabellecluster/isabelle |
|
1426:1441 (<1%)2627:2642 (<1%) |
view |
16 |
x 2 |
cluster/isabellecluster/isabelle |
|
1426:1441 (<1%)1956:1971 (<1%) |
view |
16 |
x 2 |
cluster/isabellecluster/isabelle |
|
574:589 (<1%)1426:1441 (<1%) |
view |
16 |
x 2 |
cluster/isabellecluster/isabelle |
|
676:691 (<1%)1426:1441 (<1%) |
view |
16 |
x 2 |
cluster/isabellecluster/isabelle |
|
592:607 (<1%)1973:1988 (<1%) |
view |
16 |
x 2 |
cluster/isabellecluster/isabelle |
|
2279:2295 (<1%)2701:2717 (<1%) |
view |
16 |
x 2 |
cluster/isabellecluster/isabelle |
|
1091:1107 (<1%)1913:1929 (<1%) |
view |
15 |
x 2 |
cluster/isabellecluster/isabelle |
|
791:805 (<1%)1131:1145 (<1%) |
view |
15 |
x 2 |
cluster/isabellecluster/isabelle |
|
1133:1147 (<1%)1426:1440 (<1%) |
view |
15 |
x 2 |
cluster/isabellecluster/isabelle |
|
1091:1106 (<1%)2830:2845 (<1%) |
view |
15 |
x 2 |
cluster/isabellecluster/isabelle |
|
660:675 (<1%)1814:1829 (<1%) |
view |
15 |
x 2 |
cluster/isabellecluster/isabelle |
|
1091:1106 (<1%)2922:2937 (<1%) |
view |
15 |
x 2 |
cluster/isabellecluster/isabelle |
|
791:805 (<1%)2625:2639 (<1%) |
view |
13 |
x 2 |
cluster/isabellecluster/isabelle |
|
1131:1143 (<1%)2963:2975 (<1%) |
view |
13 |
x 2 |
cluster/isabellecluster/isabelle |
|
793:805 (<1%)1426:1438 (<1%) |
view |
13 |
x 2 |
cluster/isabellecluster/isabelle |
|
2625:2637 (<1%)2963:2975 (<1%) |
view |
13 |
x 2 |
cluster/isabellecluster/isabelle |
|
693:705 (<1%)2644:2656 (<1%) |
view |
13 |
x 2 |
cluster/isabellecluster/isabelle |
|
591:603 (<1%)2644:2656 (<1%) |
view |
13 |
x 2 |
cluster/isabellecluster/isabelle |
|
2625:2637 (<1%)2871:2883 (<1%) |
view |
13 |
x 2 |
cluster/isabellecluster/isabelle |
|
1131:1143 (<1%)2871:2883 (<1%) |
view |
12 |
x 2 |
cluster/isabellecluster/isabelle |
|
698:709 (<1%)947:958 (<1%) |
view |
12 |
x 2 |
cluster/isabellecluster/isabelle |
|
2611:2623 (<1%)2857:2869 (<1%) |
view |