ChengsongTanPhdThesis/regex3_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       26
1       77
2       109
3       109
4       109
5       109
6       109
7       109
8       109
9       109
10      109
11      109
12      109
13      109
14      109
15      109
16      109
17      109
18      109
19      109
20      109
21      109
22      109
23      109
24      109
25      109