| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | mt.tex | 542 | logplain |
| -rw-r--r-- | overview.tex | 1789 | logplain |
| -rw-r--r-- | proofcom.pdf | 12595 | logplain |
| -rw-r--r-- | proofgen.pdf | 14456 | logplain |
| -rw-r--r-- | proofvf.pdf | 14022 | logplain |
| -rw-r--r-- | snapshot.pdf | 11767 | logplain |
| -rw-r--r-- | wildcard.tex | 502 | logplain |
 |
index : thesis | |
| PhD thesis and defense presentation | rgdd |
| aboutsummaryrefslogtreecommitdiff |