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
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
611
Chengsong
parents: 522
diff changeset
     1
0       26
Chengsong
parents: 522
diff changeset
     2
1       77
Chengsong
parents: 522
diff changeset
     3
2       109
Chengsong
parents: 522
diff changeset
     4
3       109
Chengsong
parents: 522
diff changeset
     5
4       109
Chengsong
parents: 522
diff changeset
     6
5       109
Chengsong
parents: 522
diff changeset
     7
6       109
Chengsong
parents: 522
diff changeset
     8
7       109
Chengsong
parents: 522
diff changeset
     9
8       109
Chengsong
parents: 522
diff changeset
    10
9       109
Chengsong
parents: 522
diff changeset
    11
10      109
Chengsong
parents: 522
diff changeset
    12
11      109
Chengsong
parents: 522
diff changeset
    13
12      109
Chengsong
parents: 522
diff changeset
    14
13      109
Chengsong
parents: 522
diff changeset
    15
14      109
Chengsong
parents: 522
diff changeset
    16
15      109
Chengsong
parents: 522
diff changeset
    17
16      109
Chengsong
parents: 522
diff changeset
    18
17      109
Chengsong
parents: 522
diff changeset
    19
18      109
Chengsong
parents: 522
diff changeset
    20
19      109
Chengsong
parents: 522
diff changeset
    21
20      109
Chengsong
parents: 522
diff changeset
    22
21      109
Chengsong
parents: 522
diff changeset
    23
22      109
Chengsong
parents: 522
diff changeset
    24
23      109
Chengsong
parents: 522
diff changeset
    25
24      109
Chengsong
parents: 522
diff changeset
    26
25      109