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