ChengsongTanPhdThesis/regex1_size_change.data
author Chengsong
Sun, 09 Jul 2023 02:08:12 +0100
changeset 658 273c176d9027
parent 611 bc1df466150a
permissions -rw-r--r--
finished 4.3.2 section explaining why lemma 11 is too strong

0       48
1       21
2       1
3       1
4       1
5       1
6       1
7       1
8       1
9       1
10      1
11      1
12      1
13      1
14      1
15      1
16      1
17      1
18      1
19      1
20      1
21      1
22      1
23      1
24      1
25      1