]>
-rw-r--r-- | 784 | automath.sl | blob | raw |
-rw-r--r-- | 377568 | basic2a.pdf | blob | raw |
-rw-r--r-- | 34839 | cie_2007.pdf | blob | raw |
-rw-r--r-- | 289451 | cie_2010.pdf | blob | raw |
-rw-r--r-- | 278928 | gda.pdf | blob | raw |
-rw-r--r-- | 755101 | grundlagen_2.aut | blob | raw |
-rw-r--r-- | 177510 | grundlagen_2.tar.bz2 | blob | raw |
-rw-r--r-- | 5961211 | grundlagen_2.v | blob | raw |
-rw-r--r-- | 777 | helena.sl | blob | raw |
-rw-r--r-- | 352491 | helena_0.8.0.tar.gz | blob | raw |
-rw-r--r-- | 252616 | helena_0.8.1.tar.gz | blob | raw |
-rw-r--r-- | 808749 | helena_0.8.2.tar.gz | blob | raw |
-rw-r--r-- | 1141921 | helena_0.8.3.tar.gz | blob | raw |
-rw-r--r-- | 4087 | lambdadelta.bib | blob | raw |
-rw-r--r-- | 4087 | lambdadelta.txt | blob | raw |
-rw-r--r-- | 102044 | lambdadelta_1.tar.gz | blob | raw |
-rw-r--r-- | 188848 | lambdadelta_2A1.tar.gz | blob | raw |
-rw-r--r-- | 47924 | ld_talk_1s.pdf | blob | raw |
-rw-r--r-- | 62814 | ld_talk_2s.pdf | blob | raw |
-rw-r--r-- | 51220 | ld_talk_3s.pdf | blob | raw |
-rw-r--r-- | 65374 | ld_talk_4s.pdf | blob | raw |
-rw-r--r-- | 77357 | ld_talk_5s.pdf | blob | raw |
-rw-r--r-- | 109868 | ld_talk_6s.pdf | blob | raw |
-rw-r--r-- | 78392 | ld_talk_7s.pdf | blob | raw |
-rw-r--r-- | 111599 | ld_talk_8s.pdf | blob | raw |
-rw-r--r-- | 67030 | ld_talk_9s.pdf | blob | raw |
-rw-r--r-- | 636386 | lddl.tar.bz2 | blob | raw |