Showing all matches; Exact only
Isabelle
9
57
2
30
15
145
2
32
5
41
6
81
3
34
3
34
5
114
13
97
20
121
8
4
32
6
42
2
74
6
78
5
34
5
75
5
65
10
49
1
14
3
27
1
7
1
14
1
17
5
77
3
76
10
120
2
39
7
50
2
54
4
7
2
38
17
137
25
174
15
76
31
179
1
5
1
32
1
11
8
68
1
50
12
114
4
50
