drwxr-xr-x | 4096 | root |
root |
/usr/lib64/caduceus/coq
|
-rw-r--r-- | 94 | root |
root |
/usr/share/coq/user-contrib/Caduceus.v
|
-rw-r--r-- | 5754 | root |
root |
/usr/share/coq/user-contrib/Caduceus.vo
|
-rw-r--r-- | 1039 | root |
root |
/usr/share/coq/user-contrib/Why.v
|
-rw-r--r-- | 5766 | root |
root |
/usr/share/coq/user-contrib/Why.vo
|
-rw-r--r-- | 3378 | root |
root |
/usr/share/coq/user-contrib/WhyArrays.v
|
-rw-r--r-- | 11821 | root |
root |
/usr/share/coq/user-contrib/WhyArrays.vo
|
-rw-r--r-- | 2946 | root |
root |
/usr/share/coq/user-contrib/WhyBool.v
|
-rw-r--r-- | 13067 | root |
root |
/usr/share/coq/user-contrib/WhyBool.vo
|
-rw-r--r-- | 4170 | root |
root |
/usr/share/coq/user-contrib/WhyCM.v
|
-rw-r--r-- | 23157 | root |
root |
/usr/share/coq/user-contrib/WhyCM.vo
|
-rw-r--r-- | 754 | root |
root |
/usr/share/coq/user-contrib/WhyCoqCompat.v
|
-rw-r--r-- | 4649 | root |
root |
/usr/share/coq/user-contrib/WhyCoqCompat.vo
|
-rw-r--r-- | 2907 | root |
root |
/usr/share/coq/user-contrib/WhyExn.v
|
-rw-r--r-- | 12952 | root |
root |
/usr/share/coq/user-contrib/WhyExn.vo
|
-rw-r--r-- | 810 | root |
root |
/usr/share/coq/user-contrib/WhyInt.v
|
-rw-r--r-- | 5116 | root |
root |
/usr/share/coq/user-contrib/WhyInt.vo
|
-rw-r--r-- | 2875 | root |
root |
/usr/share/coq/user-contrib/WhyLemmas.v
|
-rw-r--r-- | 10043 | root |
root |
/usr/share/coq/user-contrib/WhyLemmas.vo
|
-rw-r--r-- | 10347 | root |
root |
/usr/share/coq/user-contrib/WhyPermut.v
|
-rw-r--r-- | 92724 | root |
root |
/usr/share/coq/user-contrib/WhyPermut.vo
|
-rw-r--r-- | 2975 | root |
root |
/usr/share/coq/user-contrib/WhyPrelude.v
|
-rw-r--r-- | 9377 | root |
root |
/usr/share/coq/user-contrib/WhyPrelude.vo
|
-rw-r--r-- | 1585 | root |
root |
/usr/share/coq/user-contrib/WhyReal.v
|
-rw-r--r-- | 7977 | root |
root |
/usr/share/coq/user-contrib/WhyReal.vo
|
-rw-r--r-- | 5321 | root |
root |
/usr/share/coq/user-contrib/WhySorted.v
|
-rw-r--r-- | 111348 | root |
root |
/usr/share/coq/user-contrib/WhySorted.vo
|
-rw-r--r-- | 1207 | root |
root |
/usr/share/coq/user-contrib/WhyTactics.v
|
-rw-r--r-- | 7002 | root |
root |
/usr/share/coq/user-contrib/WhyTactics.vo
|
-rw-r--r-- | 3860 | root |
root |
/usr/share/coq/user-contrib/WhyTuples.v
|
-rw-r--r-- | 44894 | root |
root |
/usr/share/coq/user-contrib/WhyTuples.vo
|
-rw-r--r-- | 17325 | root |
root |
/usr/share/coq/user-contrib/caduceus_lists.v
|
-rw-r--r-- | 91709 | root |
root |
/usr/share/coq/user-contrib/caduceus_lists.vo
|
-rw-r--r-- | 4803 | root |
root |
/usr/share/coq/user-contrib/caduceus_tactics.v
|
-rw-r--r-- | 11626 | root |
root |
/usr/share/coq/user-contrib/caduceus_tactics.vo
|
-rw-r--r-- | 22984 | root |
root |
/usr/share/coq/user-contrib/caduceus_why.v
|
-rw-r--r-- | 39938 | root |
root |
/usr/share/coq/user-contrib/caduceus_why.vo
|
-rw-r--r-- | 29643 | root |
root |
/usr/share/coq/user-contrib/jessie_why.v
|
-rw-r--r-- | 53203 | root |
root |
/usr/share/coq/user-contrib/jessie_why.vo
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/why-coq-2.26
|
-rw-r--r-- | 188 | root |
root |
/usr/share/doc/why-coq-2.26/README.why-coq.Fedora
|