Files
-rw-r--r-- | 383989 | iurt | iurt | RecTutorial.pdf |
-rw-r--r-- | 1667093 | iurt | iurt | Reference-Manual.pdf |
-rw-r--r-- | 198293 | iurt | iurt | Tutorial.pdf |
-rw-r--r-- | 5321862 | iurt | iurt | coq-8.5pl2.tar.gz |
-rw-r--r-- | 7747 | iurt | iurt | coq.spec |
-rw-r--r-- | 383989 | iurt | iurt | RecTutorial.pdf |
-rw-r--r-- | 1667093 | iurt | iurt | Reference-Manual.pdf |
-rw-r--r-- | 198293 | iurt | iurt | Tutorial.pdf |
-rw-r--r-- | 5321862 | iurt | iurt | coq-8.5pl2.tar.gz |
-rw-r--r-- | 7747 | iurt | iurt | coq.spec |