drwxr-xr-x root/admin        0 2012-05-11 13:36 ./
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/bin/
-rwxr-xr-x root/admin   381872 2012-05-11 13:36 ./sw-buildworld/bin/coq-tex
-rwxr-xr-x root/admin   403632 2012-05-11 13:36 ./sw-buildworld/bin/coq_makefile
-rwxr-xr-x root/admin   840752 2012-05-11 13:36 ./sw-buildworld/bin/coqc
-rwxr-xr-x root/admin  1263592 2012-05-11 13:36 ./sw-buildworld/bin/coqchk.opt
-rwxr-xr-x root/admin   902192 2012-05-11 13:36 ./sw-buildworld/bin/coqdep
-rwxr-xr-x root/admin   752216 2012-05-11 13:36 ./sw-buildworld/bin/coqdoc
-rwxr-xr-x root/admin 10130216 2012-05-11 13:36 ./sw-buildworld/bin/coqtop.opt
-rwxr-xr-x root/admin   281344 2012-05-11 13:36 ./sw-buildworld/bin/coqwc
-rwxr-xr-x root/admin   309608 2012-05-11 13:36 ./sw-buildworld/bin/gallina
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/
-rw-r--r-- root/admin    50616 2012-05-11 13:36 ./sw-buildworld/lib/coq/dllcoqrun.so
-rw-r--r-- root/admin    48416 2012-05-11 13:36 ./sw-buildworld/lib/coq/libcoqrun.a
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/cc/
-rw-r--r-- root/admin   198824 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/cc/cc_plugin.a
-rw-r--r-- root/admin    64313 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/cc/cc_plugin.cma
-rw-r--r-- root/admin    12146 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/cc/cc_plugin.cmxa
-rw-r--r-- root/admin     1806 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/cc/cc_plugin_mod.cmi
-rw-r--r-- root/admin    12617 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/cc/ccalgo.cmi
-rw-r--r-- root/admin     2528 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/cc/ccproof.cmi
-rw-r--r-- root/admin     2322 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/cc/cctac.cmi
-rw-r--r-- root/admin     2645 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/cc/g_congruence.cmi
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/dp/
-rw-r--r-- root/admin     2424 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/dp/dp.cmi
-rw-r--r-- root/admin    27435 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/dp/Dp.vo
-rw-r--r-- root/admin   257064 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/dp/dp_plugin.a
-rw-r--r-- root/admin    85894 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/dp/dp_plugin.cma
-rw-r--r-- root/admin    12675 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/dp/dp_plugin.cmxa
-rw-r--r-- root/admin     1806 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/dp/dp_plugin_mod.cmi
-rw-r--r-- root/admin     1267 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/dp/dp_why.cmi
-rw-r--r-- root/admin     1877 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/dp/dp_zenon.cmi
-rw-r--r-- root/admin     3003 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/dp/g_dp.cmi
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/extraction/
-rw-r--r-- root/admin     3843 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/extraction/common.cmi
-rw-r--r-- root/admin     1397 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/extraction/extract_env.cmi
-rw-r--r-- root/admin     2127 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/extraction/extraction.cmi
-rw-r--r-- root/admin   904648 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/extraction/extraction_plugin.a
-rw-r--r-- root/admin   260580 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/extraction/extraction_plugin.cma
-rw-r--r-- root/admin    21923 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/extraction/extraction_plugin.cmxa
-rw-r--r-- root/admin     1822 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/extraction/extraction_plugin_mod.cmi
-rw-r--r-- root/admin    11912 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/extraction/ExtrOcamlBasic.vo
-rw-r--r-- root/admin    14353 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/extraction/ExtrOcamlBigIntConv.vo
-rw-r--r-- root/admin    14481 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/extraction/ExtrOcamlIntConv.vo
-rw-r--r-- root/admin     8696 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/extraction/ExtrOcamlNatBigInt.vo
-rw-r--r-- root/admin     8600 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/extraction/ExtrOcamlNatInt.vo
-rw-r--r-- root/admin     8090 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/extraction/ExtrOcamlString.vo
-rw-r--r-- root/admin    10307 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/extraction/ExtrOcamlZBigInt.vo
-rw-r--r-- root/admin    10294 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/extraction/ExtrOcamlZInt.vo
-rw-r--r-- root/admin     3922 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/extraction/g_extraction.cmi
-rw-r--r-- root/admin      900 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/extraction/haskell.cmi
-rw-r--r-- root/admin     7661 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/extraction/mlutil.cmi
-rw-r--r-- root/admin     2214 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/extraction/modutil.cmi
-rw-r--r-- root/admin      894 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/extraction/ocaml.cmi
-rw-r--r-- root/admin      897 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/extraction/scheme.cmi
-rw-r--r-- root/admin    14330 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/extraction/table.cmi
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/field/
-rw-r--r-- root/admin     7042 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/field/field.cmi
-rw-r--r-- root/admin    58712 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/field/field_plugin.a
-rw-r--r-- root/admin    21431 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/field/field_plugin.cma
-rw-r--r-- root/admin     5941 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/field/field_plugin.cmxa
-rw-r--r-- root/admin     1812 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/field/field_plugin_mod.cmi
-rw-r--r-- root/admin     3998 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/field/LegacyField.vo
-rw-r--r-- root/admin     7759 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/field/LegacyField_Compl.vo
-rw-r--r-- root/admin    44290 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/field/LegacyField_Tactic.vo
-rw-r--r-- root/admin   218405 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/field/LegacyField_Theory.vo
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/firstorder/
-rw-r--r-- root/admin     4755 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/firstorder/formula.cmi
-rw-r--r-- root/admin     5536 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/firstorder/g_ground.cmi
-rw-r--r-- root/admin     2348 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/firstorder/ground.cmi
-rw-r--r-- root/admin   207632 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/firstorder/ground_plugin.a
-rw-r--r-- root/admin    71317 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/firstorder/ground_plugin.cma
-rw-r--r-- root/admin    21845 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/firstorder/ground_plugin.cmxa
-rw-r--r-- root/admin     1814 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/firstorder/ground_plugin_mod.cmi
-rw-r--r-- root/admin     2718 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/firstorder/instances.cmi
-rw-r--r-- root/admin     3876 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/firstorder/rules.cmi
-rw-r--r-- root/admin    10456 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/firstorder/sequent.cmi
-rw-r--r-- root/admin     1439 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/firstorder/unify.cmi
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/fourier/
-rw-r--r-- root/admin     2401 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/fourier/fourier.cmi
-rw-r--r-- root/admin     9405 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/fourier/Fourier.vo
-rw-r--r-- root/admin   120360 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/fourier/fourier_plugin.a
-rw-r--r-- root/admin    35334 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/fourier/fourier_plugin.cma
-rw-r--r-- root/admin     9197 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/fourier/fourier_plugin.cmxa
-rw-r--r-- root/admin     1816 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/fourier/fourier_plugin_mod.cmi
-rw-r--r-- root/admin    30725 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/fourier/Fourier_util.vo
-rw-r--r-- root/admin     9600 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/fourier/fourierR.cmi
-rw-r--r-- root/admin     3427 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/fourier/g_fourier.cmi
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/funind/
-rw-r--r-- root/admin     2490 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/funind/functional_principles_proofs.cmi
-rw-r--r-- root/admin     3074 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/funind/functional_principles_types.cmi
-rw-r--r-- root/admin    15435 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/funind/g_indfun.cmi
-rw-r--r-- root/admin    11684 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/funind/indfun.cmi
-rw-r--r-- root/admin     6446 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/funind/indfun_common.cmi
-rw-r--r-- root/admin     8791 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/funind/invfun.cmi
-rw-r--r-- root/admin    20515 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/funind/merge.cmi
-rw-r--r-- root/admin     1794 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/funind/rawterm_to_relation.cmi
-rw-r--r-- root/admin     6745 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/funind/rawtermops.cmi
-rw-r--r-- root/admin    20270 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/funind/recdef.cmi
-rw-r--r-- root/admin     7439 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/funind/Recdef.vo
-rw-r--r-- root/admin  1265576 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/funind/recdef_plugin.a
-rw-r--r-- root/admin   366096 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/funind/recdef_plugin.cma
-rw-r--r-- root/admin    43627 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/funind/recdef_plugin.cmxa
-rw-r--r-- root/admin     1814 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/funind/recdef_plugin_mod.cmi
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/micromega/
-rw-r--r-- root/admin    33778 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/micromega/certificate.cmi
-rw-r--r-- root/admin    19780 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/micromega/CheckerMaker.vo
-rw-r--r-- root/admin    58923 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/micromega/coq_micromega.cmi
-rwxr-xr-x root/admin   907528 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/micromega/csdpcert
-rw-r--r-- root/admin    19430 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/micromega/Env.vo
-rw-r--r-- root/admin   358149 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/micromega/EnvRing.vo
-rw-r--r-- root/admin     4218 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/micromega/g_micromega.cmi
-rw-r--r-- root/admin    30979 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/micromega/mfourier.cmi
-rw-r--r-- root/admin    22411 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/micromega/micromega.cmi
-rw-r--r-- root/admin   708440 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/micromega/micromega_plugin.a
-rw-r--r-- root/admin   195690 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/micromega/micromega_plugin.cma
-rw-r--r-- root/admin    12962 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/micromega/micromega_plugin.cmxa
-rw-r--r-- root/admin     1820 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/micromega/micromega_plugin_mod.cmi
-rw-r--r-- root/admin     7889 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/micromega/mutils.cmi
-rw-r--r-- root/admin   163154 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/micromega/OrderedRing.vo
-rw-r--r-- root/admin     1476 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/micromega/persistent_cache.cmi
-rw-r--r-- root/admin    15063 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/micromega/Psatz.vo
-rw-r--r-- root/admin    36590 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/micromega/QMicromega.vo
-rw-r--r-- root/admin    18615 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/micromega/Refl.vo
-rw-r--r-- root/admin   297140 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/micromega/RingMicromega.vo
-rw-r--r-- root/admin    41048 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/micromega/RMicromega.vo
-rw-r--r-- root/admin     1402 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/micromega/sos_types.cmi
-rw-r--r-- root/admin    46267 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/micromega/Tauto.vo
-rw-r--r-- root/admin    12913 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/micromega/VarMap.vo
-rw-r--r-- root/admin    53914 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/micromega/ZCoeff.vo
-rw-r--r-- root/admin   326884 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/micromega/ZMicromega.vo
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/nsatz/
-rw-r--r-- root/admin    20157 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/nsatz/ideal.cmi
-rw-r--r-- root/admin    32329 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/nsatz/nsatz.cmi
-rw-r--r-- root/admin   208663 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/nsatz/Nsatz.vo
-rw-r--r-- root/admin   271960 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/nsatz/nsatz_plugin.a
-rw-r--r-- root/admin    78509 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/nsatz/nsatz_plugin.cma
-rw-r--r-- root/admin     7961 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/nsatz/nsatz_plugin.cmxa
-rw-r--r-- root/admin     1812 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/nsatz/nsatz_plugin_mod.cmi
-rw-r--r-- root/admin    14034 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/nsatz/polynom.cmi
-rw-r--r-- root/admin     1369 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/nsatz/utile.cmi
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/omega/
-rw-r--r-- root/admin    37953 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/omega/coq_omega.cmi
-rw-r--r-- root/admin     3372 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/omega/g_omega.cmi
-rw-r--r-- root/admin    11199 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/omega/omega.cmi
-rw-r--r-- root/admin    12340 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/omega/Omega.vo
-rw-r--r-- root/admin   554568 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/omega/omega_plugin.a
-rw-r--r-- root/admin   154722 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/omega/omega_plugin.cma
-rw-r--r-- root/admin     9787 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/omega/omega_plugin.cmxa
-rw-r--r-- root/admin     1812 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/omega/omega_plugin_mod.cmi
-rw-r--r-- root/admin    52696 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/omega/OmegaLemmas.vo
-rw-r--r-- root/admin      602 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/omega/OmegaPlugin.vo
-rw-r--r-- root/admin    70190 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/omega/PreOmega.vo
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/quote/
-rw-r--r-- root/admin     2970 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/quote/g_quote.cmi
-rw-r--r-- root/admin     7605 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/quote/quote.cmi
-rw-r--r-- root/admin    12402 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/quote/Quote.vo
-rw-r--r-- root/admin    59128 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/quote/quote_plugin.a
-rw-r--r-- root/admin    22386 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/quote/quote_plugin.cma
-rw-r--r-- root/admin     7836 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/quote/quote_plugin.cmxa
-rw-r--r-- root/admin     1812 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/quote/quote_plugin_mod.cmi
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/ring/
-rw-r--r-- root/admin     3550 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/ring/g_ring.cmi
-rw-r--r-- root/admin    14930 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/ring/LegacyArithRing.vo
-rw-r--r-- root/admin    10081 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/ring/LegacyNArithRing.vo
-rw-r--r-- root/admin    14595 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/ring/LegacyRing.vo
-rw-r--r-- root/admin    84880 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/ring/LegacyRing_theory.vo
-rw-r--r-- root/admin    10344 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/ring/LegacyZArithRing.vo
-rw-r--r-- root/admin    20517 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/ring/ring.cmi
-rw-r--r-- root/admin    77740 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/ring/Ring_abstract.vo
-rw-r--r-- root/admin   111223 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/ring/Ring_normalize.vo
-rw-r--r-- root/admin   185496 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/ring/ring_plugin.a
-rw-r--r-- root/admin    63039 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/ring/ring_plugin.cma
-rw-r--r-- root/admin     9365 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/ring/ring_plugin.cmxa
-rw-r--r-- root/admin     1810 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/ring/ring_plugin_mod.cmi
-rw-r--r-- root/admin     1365 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/ring/Setoid_ring.vo
-rw-r--r-- root/admin   144214 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/ring/Setoid_ring_normalize.vo
-rw-r--r-- root/admin   117817 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/ring/Setoid_ring_theory.vo
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/romega/
-rw-r--r-- root/admin    10994 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/romega/const_omega.cmi
-rw-r--r-- root/admin     2957 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/romega/g_romega.cmi
-rw-r--r-- root/admin    25208 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/romega/refl_omega.cmi
-rw-r--r-- root/admin   709758 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/romega/ReflOmegaCore.vo
-rw-r--r-- root/admin     7551 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/romega/ROmega.vo
-rw-r--r-- root/admin   282736 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/romega/romega_plugin.a
-rw-r--r-- root/admin    84279 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/romega/romega_plugin.cma
-rw-r--r-- root/admin     9999 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/romega/romega_plugin.cmxa
-rw-r--r-- root/admin     1814 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/romega/romega_plugin_mod.cmi
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/rtauto/
-rw-r--r-- root/admin   197098 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/rtauto/Bintree.vo
-rw-r--r-- root/admin     2451 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/rtauto/g_rtauto.cmi
-rw-r--r-- root/admin     1426 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/rtauto/proof_search.cmi
-rw-r--r-- root/admin     2691 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/rtauto/refl_tauto.cmi
-rw-r--r-- root/admin    96201 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/rtauto/Rtauto.vo
-rw-r--r-- root/admin   124592 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/rtauto/rtauto_plugin.a
-rw-r--r-- root/admin    38237 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/rtauto/rtauto_plugin.cma
-rw-r--r-- root/admin     8399 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/rtauto/rtauto_plugin.cmxa
-rw-r--r-- root/admin     1814 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/rtauto/rtauto_plugin_mod.cmi
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/setoid_ring/
-rw-r--r-- root/admin    21476 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/setoid_ring/ArithRing.vo
-rw-r--r-- root/admin    14111 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/setoid_ring/BinList.vo
-rw-r--r-- root/admin     7018 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/setoid_ring/Field.vo
-rw-r--r-- root/admin    58168 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/setoid_ring/Field_tac.vo
-rw-r--r-- root/admin   642354 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/setoid_ring/Field_theory.vo
-rw-r--r-- root/admin   189078 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/setoid_ring/InitialRing.vo
-rw-r--r-- root/admin    18756 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/setoid_ring/NArithRing.vo
-rw-r--r-- root/admin    27390 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/setoid_ring/newring.cmi
-rw-r--r-- root/admin   232456 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/setoid_ring/newring_plugin.a
-rw-r--r-- root/admin    70300 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/setoid_ring/newring_plugin.cma
-rw-r--r-- root/admin     7132 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/setoid_ring/newring_plugin.cmxa
-rw-r--r-- root/admin     1816 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/setoid_ring/newring_plugin_mod.cmi
-rw-r--r-- root/admin    59520 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/setoid_ring/RealField.vo
-rw-r--r-- root/admin    21763 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/setoid_ring/Ring.vo
-rw-r--r-- root/admin     6832 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/setoid_ring/Ring_base.vo
-rw-r--r-- root/admin     9236 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/setoid_ring/Ring_equiv.vo
-rw-r--r-- root/admin   508857 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/setoid_ring/Ring_polynom.vo
-rw-r--r-- root/admin    40482 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/setoid_ring/Ring_tac.vo
-rw-r--r-- root/admin   238297 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/setoid_ring/Ring_theory.vo
-rw-r--r-- root/admin    18754 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/setoid_ring/ZArithRing.vo
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/subtac/
-rw-r--r-- root/admin     3443 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/subtac/eterm.cmi
-rw-r--r-- root/admin     8998 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/subtac/g_subtac.cmi
-rw-r--r-- root/admin     1971 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/subtac/subtac.cmi
-rw-r--r-- root/admin     1539 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/subtac/subtac_cases.cmi
-rw-r--r-- root/admin     2867 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/subtac/subtac_classes.cmi
-rw-r--r-- root/admin     1601 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/subtac/subtac_coercion.cmi
-rw-r--r-- root/admin     5137 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/subtac/subtac_command.cmi
-rw-r--r-- root/admin     1522 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/subtac/subtac_errors.cmi
-rw-r--r-- root/admin     6346 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/subtac/subtac_obligations.cmi
-rw-r--r-- root/admin   815896 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/subtac/subtac_plugin.a
-rw-r--r-- root/admin   250584 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/subtac/subtac_plugin.cma
-rw-r--r-- root/admin    43180 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/subtac/subtac_plugin.cmxa
-rw-r--r-- root/admin     1814 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/subtac/subtac_plugin_mod.cmi
-rw-r--r-- root/admin     3649 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/subtac/subtac_pretyping.cmi
-rw-r--r-- root/admin    10890 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/subtac/subtac_pretyping_F.cmi
-rw-r--r-- root/admin    10810 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/subtac/subtac_utils.cmi
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/syntax/
-rw-r--r-- root/admin     3313 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/syntax/ascii_syntax.cmi
-rw-r--r-- root/admin    14928 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/syntax/ascii_syntax_plugin.a
-rw-r--r-- root/admin     7150 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/syntax/ascii_syntax_plugin.cma
-rw-r--r-- root/admin     4063 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/syntax/ascii_syntax_plugin.cmxa
-rw-r--r-- root/admin     1826 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/syntax/ascii_syntax_plugin_mod.cmi
-rw-r--r-- root/admin     2184 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/syntax/nat_syntax.cmi
-rw-r--r-- root/admin     9592 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/syntax/nat_syntax_plugin.a
-rw-r--r-- root/admin     5875 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/syntax/nat_syntax_plugin.cma
-rw-r--r-- root/admin     3777 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/syntax/nat_syntax_plugin.cmxa
-rw-r--r-- root/admin     1822 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/syntax/nat_syntax_plugin_mod.cmi
-rw-r--r-- root/admin     5893 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/syntax/numbers_syntax.cmi
-rw-r--r-- root/admin    40792 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/syntax/numbers_syntax_plugin.a
-rw-r--r-- root/admin    13901 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/syntax/numbers_syntax_plugin.cma
-rw-r--r-- root/admin     3929 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/syntax/numbers_syntax_plugin.cmxa
-rw-r--r-- root/admin     1830 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/syntax/numbers_syntax_plugin_mod.cmi
-rw-r--r-- root/admin     3149 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/syntax/r_syntax.cmi
-rw-r--r-- root/admin    19880 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/syntax/r_syntax_plugin.a
-rw-r--r-- root/admin     9308 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/syntax/r_syntax_plugin.cma
-rw-r--r-- root/admin     3775 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/syntax/r_syntax_plugin.cmxa
-rw-r--r-- root/admin     1818 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/syntax/r_syntax_plugin_mod.cmi
-rw-r--r-- root/admin     2794 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/syntax/string_syntax.cmi
-rw-r--r-- root/admin    12056 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/syntax/string_syntax_plugin.a
-rw-r--r-- root/admin     6471 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/syntax/string_syntax_plugin.cma
-rw-r--r-- root/admin     3996 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/syntax/string_syntax_plugin.cmxa
-rw-r--r-- root/admin     1828 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/syntax/string_syntax_plugin_mod.cmi
-rw-r--r-- root/admin     5085 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/syntax/z_syntax.cmi
-rw-r--r-- root/admin    23320 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/syntax/z_syntax_plugin.a
-rw-r--r-- root/admin     9509 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/syntax/z_syntax_plugin.cma
-rw-r--r-- root/admin     3799 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/syntax/z_syntax_plugin.cmxa
-rw-r--r-- root/admin     1818 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/syntax/z_syntax_plugin_mod.cmi
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/xml/
-rw-r--r-- root/admin     5775 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/xml/acic.cmi
-rw-r--r-- root/admin     3526 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/xml/acic2Xml.cmi
-rw-r--r-- root/admin    26668 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/xml/cic2acic.cmi
-rw-r--r-- root/admin     3123 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/xml/cic2Xml.cmi
-rw-r--r-- root/admin     1912 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/xml/doubleTypeInference.cmi
-rw-r--r-- root/admin     4223 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/xml/dumptree.cmi
-rw-r--r-- root/admin     4192 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/xml/proof2aproof.cmi
-rw-r--r-- root/admin     3830 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/xml/proofTree2Xml.cmi
-rw-r--r-- root/admin      291 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/xml/unshare.cmi
-rw-r--r-- root/admin     1156 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/xml/xml.cmi
-rw-r--r-- root/admin   375960 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/xml/xml_plugin.a
-rw-r--r-- root/admin   121720 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/xml/xml_plugin.cma
-rw-r--r-- root/admin    30713 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/xml/xml_plugin.cmxa
-rw-r--r-- root/admin     1808 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/xml/xml_plugin_mod.cmi
-rw-r--r-- root/admin     2795 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/xml/xmlcommand.cmi
-rw-r--r-- root/admin     3056 2012-05-11 13:36 ./sw-buildworld/lib/coq/plugins/xml/xmlentries.cmi
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/states/
-rw-r--r-- root/admin   316784 2012-05-11 13:36 ./sw-buildworld/lib/coq/states/initial.coq
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Arith/
-rw-r--r-- root/admin     7021 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Arith/Arith.vo
-rw-r--r-- root/admin     1201 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Arith/Arith_base.vo
-rw-r--r-- root/admin    29590 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Arith/Between.vo
-rw-r--r-- root/admin     8382 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Arith/Bool_nat.vo
-rw-r--r-- root/admin     8022 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Arith/Compare.vo
-rw-r--r-- root/admin    39319 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Arith/Compare_dec.vo
-rw-r--r-- root/admin    24467 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Arith/Div2.vo
-rw-r--r-- root/admin    15108 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Arith/EqNat.vo
-rw-r--r-- root/admin    10600 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Arith/Euclid.vo
-rw-r--r-- root/admin    34491 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Arith/Even.vo
-rw-r--r-- root/admin     3407 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Arith/Factorial.vo
-rw-r--r-- root/admin    15741 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Arith/Gt.vo
-rw-r--r-- root/admin    11772 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Arith/Le.vo
-rw-r--r-- root/admin    20743 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Arith/Lt.vo
-rw-r--r-- root/admin    11836 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Arith/Max.vo
-rw-r--r-- root/admin    11855 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Arith/Min.vo
-rw-r--r-- root/admin   196180 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Arith/MinMax.vo
-rw-r--r-- root/admin    15662 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Arith/Minus.vo
-rw-r--r-- root/admin    27788 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Arith/Mult.vo
-rw-r--r-- root/admin    53097 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Arith/NatOrderedType.vo
-rw-r--r-- root/admin     6131 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Arith/Peano_dec.vo
-rw-r--r-- root/admin    26538 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Arith/Plus.vo
-rw-r--r-- root/admin    25492 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Arith/Wf_nat.vo
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Bool/
-rw-r--r-- root/admin    82589 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Bool/Bool.vo
-rw-r--r-- root/admin     8589 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Bool/BoolEq.vo
-rw-r--r-- root/admin    47379 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Bool/Bvector.vo
-rw-r--r-- root/admin     3092 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Bool/DecBool.vo
-rw-r--r-- root/admin     7174 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Bool/IfProp.vo
-rw-r--r-- root/admin    10780 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Bool/Sumbool.vo
-rw-r--r-- root/admin    11098 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Bool/Zerob.vo
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Classes/
-rw-r--r-- root/admin    31706 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Classes/Equivalence.vo
-rw-r--r-- root/admin   183040 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Classes/EquivDec.vo
-rw-r--r-- root/admin     2694 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Classes/Init.vo
-rw-r--r-- root/admin    98537 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Classes/Morphisms.vo
-rw-r--r-- root/admin    25624 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Classes/Morphisms_Prop.vo
-rw-r--r-- root/admin    18904 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Classes/Morphisms_Relations.vo
-rw-r--r-- root/admin    98205 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Classes/RelationClasses.vo
-rw-r--r-- root/admin    40456 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Classes/RelationPairs.vo
-rw-r--r-- root/admin    30232 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Classes/SetoidClass.vo
-rw-r--r-- root/admin    67455 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Classes/SetoidDec.vo
-rw-r--r-- root/admin    17311 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Classes/SetoidTactics.vo
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/FSets/
-rw-r--r-- root/admin 12151778 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/FSets/FMapAVL.vo
-rw-r--r-- root/admin  1006257 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/FSets/FMapFacts.vo
-rw-r--r-- root/admin 11006476 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/FSets/FMapFullAVL.vo
-rw-r--r-- root/admin   127350 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/FSets/FMapInterface.vo
-rw-r--r-- root/admin  1502933 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/FSets/FMapList.vo
-rw-r--r-- root/admin   301873 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/FSets/FMapPositive.vo
-rw-r--r-- root/admin     8999 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/FSets/FMaps.vo
-rw-r--r-- root/admin   482465 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/FSets/FMapWeakList.vo
-rw-r--r-- root/admin  2181539 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/FSets/FSetAVL.vo
-rw-r--r-- root/admin   236012 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/FSets/FSetBridge.vo
-rw-r--r-- root/admin   507410 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/FSets/FSetCompat.vo
-rw-r--r-- root/admin   386078 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/FSets/FSetDecide.vo
-rw-r--r-- root/admin  1125150 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/FSets/FSetEqProperties.vo
-rw-r--r-- root/admin   177951 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/FSets/FSetFacts.vo
-rw-r--r-- root/admin   155203 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/FSets/FSetInterface.vo
-rw-r--r-- root/admin   755779 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/FSets/FSetList.vo
-rw-r--r-- root/admin   229061 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/FSets/FSetPositive.vo
-rw-r--r-- root/admin  1212977 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/FSets/FSetProperties.vo
-rw-r--r-- root/admin     9860 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/FSets/FSets.vo
-rw-r--r-- root/admin   774374 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/FSets/FSetToFiniteSet.vo
-rw-r--r-- root/admin   342526 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/FSets/FSetWeakList.vo
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Init/
-rw-r--r-- root/admin    64310 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Init/Datatypes.vo
-rw-r--r-- root/admin    53956 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Init/Logic.vo
-rw-r--r-- root/admin     7415 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Init/Logic_Type.vo
-rw-r--r-- root/admin     4873 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Init/Notations.vo
-rw-r--r-- root/admin    20506 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Init/Peano.vo
-rw-r--r-- root/admin      654 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Init/Prelude.vo
-rw-r--r-- root/admin    33566 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Init/Specif.vo
-rw-r--r-- root/admin    14396 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Init/Tactics.vo
-rw-r--r-- root/admin    22478 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Init/Wf.vo
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Lists/
-rw-r--r-- root/admin   265419 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Lists/List.vo
-rw-r--r-- root/admin    45155 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Lists/ListSet.vo
-rw-r--r-- root/admin     9255 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Lists/ListTactics.vo
-rw-r--r-- root/admin   206020 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Lists/SetoidList.vo
-rw-r--r-- root/admin    18892 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Lists/StreamMemo.vo
-rw-r--r-- root/admin    25698 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Lists/Streams.vo
-rw-r--r-- root/admin    60655 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Lists/TheoryList.vo
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Logic/
-rw-r--r-- root/admin    19828 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Logic/Berardi.vo
-rw-r--r-- root/admin    87317 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Logic/ChoiceFacts.vo
-rw-r--r-- root/admin      841 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Logic/Classical.vo
-rw-r--r-- root/admin     3919 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Logic/Classical_Pred_Set.vo
-rw-r--r-- root/admin     4410 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Logic/Classical_Pred_Type.vo
-rw-r--r-- root/admin    12259 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Logic/Classical_Prop.vo
-rw-r--r-- root/admin      846 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Logic/Classical_Type.vo
-rw-r--r-- root/admin    11396 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Logic/ClassicalChoice.vo
-rw-r--r-- root/admin    14940 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Logic/ClassicalDescription.vo
-rw-r--r-- root/admin    17741 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Logic/ClassicalEpsilon.vo
-rw-r--r-- root/admin    45721 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Logic/ClassicalFacts.vo
-rw-r--r-- root/admin     6214 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Logic/ClassicalUniqueChoice.vo
-rw-r--r-- root/admin    30099 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Logic/ConstructiveEpsilon.vo
-rw-r--r-- root/admin    20729 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Logic/Decidable.vo
-rw-r--r-- root/admin     7912 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Logic/Description.vo
-rw-r--r-- root/admin    31268 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Logic/Diaconescu.vo
-rw-r--r-- root/admin    14620 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Logic/Epsilon.vo
-rw-r--r-- root/admin     5756 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Logic/Eqdep.vo
-rw-r--r-- root/admin    26188 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Logic/Eqdep_dec.vo
-rw-r--r-- root/admin    28894 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Logic/EqdepFacts.vo
-rw-r--r-- root/admin     5163 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Logic/FunctionalExtensionality.vo
-rw-r--r-- root/admin     8105 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Logic/Hurkens.vo
-rw-r--r-- root/admin     9806 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Logic/IndefiniteDescription.vo
-rw-r--r-- root/admin    15137 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Logic/JMeq.vo
-rw-r--r-- root/admin     8144 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Logic/ProofIrrelevance.vo
-rw-r--r-- root/admin     7059 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Logic/ProofIrrelevanceFacts.vo
-rw-r--r-- root/admin     2182 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Logic/RelationalChoice.vo
-rw-r--r-- root/admin      669 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Logic/SetIsType.vo
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/MSets/
-rw-r--r-- root/admin  1870092 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/MSets/MSetAVL.vo
-rw-r--r-- root/admin   450099 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/MSets/MSetDecide.vo
-rw-r--r-- root/admin  1292687 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/MSets/MSetEqProperties.vo
-rw-r--r-- root/admin   222241 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/MSets/MSetFacts.vo
-rw-r--r-- root/admin   390607 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/MSets/MSetInterface.vo
-rw-r--r-- root/admin   875692 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/MSets/MSetList.vo
-rw-r--r-- root/admin   216371 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/MSets/MSetPositive.vo
-rw-r--r-- root/admin  1432550 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/MSets/MSetProperties.vo
-rw-r--r-- root/admin    13130 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/MSets/MSets.vo
-rw-r--r-- root/admin   903426 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/MSets/MSetToFiniteSet.vo
-rw-r--r-- root/admin   171471 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/MSets/MSetWeakList.vo
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/NArith/
-rw-r--r-- root/admin    59923 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/NArith/BinNat.vo
-rw-r--r-- root/admin   173912 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/NArith/BinPos.vo
-rw-r--r-- root/admin     7190 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/NArith/NArith.vo
-rw-r--r-- root/admin    51280 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/NArith/Ndec.vo
-rw-r--r-- root/admin    94929 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/NArith/Ndigits.vo
-rw-r--r-- root/admin    43090 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/NArith/Ndist.vo
-rw-r--r-- root/admin   200276 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/NArith/Nminmax.vo
-rw-r--r-- root/admin    43906 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/NArith/Nnat.vo
-rw-r--r-- root/admin    52796 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/NArith/NOrderedType.vo
-rw-r--r-- root/admin   196622 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/NArith/Pminmax.vo
-rw-r--r-- root/admin    35995 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/NArith/Pnat.vo
-rw-r--r-- root/admin    52917 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/NArith/POrderedType.vo
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/
-rw-r--r-- root/admin   282292 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/BigNumPrelude.vo
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Cyclic/
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Cyclic/Abstract/
-rw-r--r-- root/admin   379142 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Cyclic/Abstract/CyclicAxioms.vo
-rw-r--r-- root/admin    47657 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Cyclic/Abstract/NZCyclic.vo
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Cyclic/DoubleCyclic/
-rw-r--r-- root/admin    72358 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Cyclic/DoubleCyclic/DoubleAdd.vo
-rw-r--r-- root/admin   110988 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Cyclic/DoubleCyclic/DoubleBase.vo
-rw-r--r-- root/admin   884031 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Cyclic/DoubleCyclic/DoubleCyclic.vo
-rw-r--r-- root/admin  1435138 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Cyclic/DoubleCyclic/DoubleDiv.vo
-rw-r--r-- root/admin   505249 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Cyclic/DoubleCyclic/DoubleDivn1.vo
-rw-r--r-- root/admin   472133 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Cyclic/DoubleCyclic/DoubleLift.vo
-rw-r--r-- root/admin   501512 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Cyclic/DoubleCyclic/DoubleMul.vo
-rw-r--r-- root/admin  1431528 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Cyclic/DoubleCyclic/DoubleSqrt.vo
-rw-r--r-- root/admin    89010 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Cyclic/DoubleCyclic/DoubleSub.vo
-rw-r--r-- root/admin    16255 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Cyclic/DoubleCyclic/DoubleType.vo
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Cyclic/Int31/
-rw-r--r-- root/admin  1047567 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Cyclic/Int31/Cyclic31.vo
-rw-r--r-- root/admin    65041 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Cyclic/Int31/Int31.vo
-rw-r--r-- root/admin   114635 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Cyclic/Int31/Ring31.vo
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Cyclic/ZModulo/
-rw-r--r-- root/admin   271602 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Cyclic/ZModulo/ZModulo.vo
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Integer/
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Integer/Abstract/
-rw-r--r-- root/admin   335424 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Integer/Abstract/ZAdd.vo
-rw-r--r-- root/admin   437470 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Integer/Abstract/ZAddOrder.vo
-rw-r--r-- root/admin    34782 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Integer/Abstract/ZAxioms.vo
-rw-r--r-- root/admin   288279 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Integer/Abstract/ZBase.vo
-rw-r--r-- root/admin   695856 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Integer/Abstract/ZDivEucl.vo
-rw-r--r-- root/admin   699775 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Integer/Abstract/ZDivFloor.vo
-rw-r--r-- root/admin   702123 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Integer/Abstract/ZDivTrunc.vo
-rw-r--r-- root/admin   379946 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Integer/Abstract/ZLt.vo
-rw-r--r-- root/admin   357458 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Integer/Abstract/ZMul.vo
-rw-r--r-- root/admin   495303 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Integer/Abstract/ZMulOrder.vo
-rw-r--r-- root/admin   728235 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Integer/Abstract/ZProperties.vo
-rw-r--r-- root/admin   747652 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Integer/Abstract/ZSgnAbs.vo
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Integer/BigZ/
-rw-r--r-- root/admin  1261118 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Integer/BigZ/BigZ.vo
-rw-r--r-- root/admin   142683 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Integer/BigZ/ZMake.vo
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Integer/Binary/
-rw-r--r-- root/admin   532356 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Integer/Binary/ZBinary.vo
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Integer/NatPairs/
-rw-r--r-- root/admin   557688 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Integer/NatPairs/ZNatPairs.vo
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Integer/SpecViaZ/
-rw-r--r-- root/admin    36014 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Integer/SpecViaZ/ZSig.vo
-rw-r--r-- root/admin   168845 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Integer/SpecViaZ/ZSigZAxioms.vo
-rw-r--r-- root/admin    22329 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/NaryFunctions.vo
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/NatInt/
-rw-r--r-- root/admin    25430 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/NatInt/NZAdd.vo
-rw-r--r-- root/admin   201573 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/NatInt/NZAddOrder.vo
-rw-r--r-- root/admin   123462 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/NatInt/NZAxioms.vo
-rw-r--r-- root/admin    10453 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/NatInt/NZBase.vo
-rw-r--r-- root/admin   324752 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/NatInt/NZDiv.vo
-rw-r--r-- root/admin   190709 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/NatInt/NZDomain.vo
-rw-r--r-- root/admin    47545 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/NatInt/NZMul.vo
-rw-r--r-- root/admin   270696 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/NatInt/NZMulOrder.vo
-rw-r--r-- root/admin   217625 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/NatInt/NZOrder.vo
-rw-r--r-- root/admin   275561 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/NatInt/NZProperties.vo
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Natural/
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Natural/Abstract/
-rw-r--r-- root/admin   332483 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Natural/Abstract/NAdd.vo
-rw-r--r-- root/admin   396294 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Natural/Abstract/NAddOrder.vo
-rw-r--r-- root/admin    35224 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Natural/Abstract/NAxioms.vo
-rw-r--r-- root/admin   309486 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Natural/Abstract/NBase.vo
-rw-r--r-- root/admin   583782 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Natural/Abstract/NDefOps.vo
-rw-r--r-- root/admin   548572 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Natural/Abstract/NDiv.vo
-rw-r--r-- root/admin   610860 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Natural/Abstract/NIso.vo
-rw-r--r-- root/admin   410720 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Natural/Abstract/NMulOrder.vo
-rw-r--r-- root/admin   379621 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Natural/Abstract/NOrder.vo
-rw-r--r-- root/admin   618985 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Natural/Abstract/NProperties.vo
-rw-r--r-- root/admin   503095 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Natural/Abstract/NStrongRec.vo
-rw-r--r-- root/admin   473035 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Natural/Abstract/NSub.vo
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Natural/BigN/
-rw-r--r-- root/admin  3643346 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Natural/BigN/BigN.vo
-rw-r--r-- root/admin   141091 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Natural/BigN/Nbasic.vo
-rw-r--r-- root/admin  2579798 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Natural/BigN/NMake.vo
-rw-r--r-- root/admin  1884534 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Natural/BigN/NMake_gen.vo
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Natural/Binary/
-rw-r--r-- root/admin   474170 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Natural/Binary/NBinary.vo
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Natural/Peano/
-rw-r--r-- root/admin   593221 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Natural/Peano/NPeano.vo
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Natural/SpecViaZ/
-rw-r--r-- root/admin    36869 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Natural/SpecViaZ/NSig.vo
-rw-r--r-- root/admin   168483 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Natural/SpecViaZ/NSigNAxioms.vo
-rw-r--r-- root/admin     7576 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/NumPrelude.vo
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Rational/
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Rational/BigQ/
-rw-r--r-- root/admin   792103 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Rational/BigQ/BigQ.vo
-rw-r--r-- root/admin   370390 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Rational/BigQ/QMake.vo
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Rational/SpecViaQ/
-rw-r--r-- root/admin   159927 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Numbers/Rational/SpecViaQ/QSig.vo
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Program/
-rw-r--r-- root/admin     3634 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Program/Basics.vo
-rw-r--r-- root/admin     9876 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Program/Combinators.vo
-rw-r--r-- root/admin    42768 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Program/Equality.vo
-rw-r--r-- root/admin     7672 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Program/Program.vo
-rw-r--r-- root/admin    10170 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Program/Subset.vo
-rw-r--r-- root/admin    11095 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Program/Syntax.vo
-rw-r--r-- root/admin    25560 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Program/Tactics.vo
-rw-r--r-- root/admin     1872 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Program/Utils.vo
-rw-r--r-- root/admin    33368 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Program/Wf.vo
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/QArith/
-rw-r--r-- root/admin    32683 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/QArith/Qabs.vo
-rw-r--r-- root/admin     8389 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/QArith/QArith.vo
-rw-r--r-- root/admin   190505 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/QArith/QArith_base.vo
-rw-r--r-- root/admin   152181 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/QArith/Qcanon.vo
-rw-r--r-- root/admin    69417 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/QArith/Qfield.vo
-rw-r--r-- root/admin   180333 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/QArith/Qminmax.vo
-rw-r--r-- root/admin    56179 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/QArith/QOrderedType.vo
-rw-r--r-- root/admin    57432 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/QArith/Qpower.vo
-rw-r--r-- root/admin    52508 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/QArith/Qreals.vo
-rw-r--r-- root/admin    58122 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/QArith/Qreduction.vo
-rw-r--r-- root/admin     8225 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/QArith/Qring.vo
-rw-r--r-- root/admin    32342 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/QArith/Qround.vo
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/
-rw-r--r-- root/admin   230139 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/Alembert.vo
-rw-r--r-- root/admin    56387 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/AltSeries.vo
-rw-r--r-- root/admin    27678 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/ArithProp.vo
-rw-r--r-- root/admin    36380 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/Binomial.vo
-rw-r--r-- root/admin    42062 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/Cauchy_prod.vo
-rw-r--r-- root/admin   316001 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/Cos_plus.vo
-rw-r--r-- root/admin    72944 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/Cos_rel.vo
-rw-r--r-- root/admin    14951 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/DiscrR.vo
-rw-r--r-- root/admin   102597 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/Exp_prop.vo
-rw-r--r-- root/admin    11247 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/Integration.vo
-rw-r--r-- root/admin    10748 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/LegacyRfield.vo
-rw-r--r-- root/admin    83328 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/MVT.vo
-rw-r--r-- root/admin   176408 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/NewtonInt.vo
-rw-r--r-- root/admin    78519 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/PartSum.vo
-rw-r--r-- root/admin    36073 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/PSeries_reg.vo
-rw-r--r-- root/admin    62059 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/R_Ifp.vo
-rw-r--r-- root/admin    50060 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/R_sqr.vo
-rw-r--r-- root/admin    62144 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/R_sqrt.vo
-rw-r--r-- root/admin   100699 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/Ranalysis.vo
-rw-r--r-- root/admin   142686 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/Ranalysis1.vo
-rw-r--r-- root/admin    80254 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/Ranalysis2.vo
-rw-r--r-- root/admin    60188 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/Ranalysis3.vo
-rw-r--r-- root/admin    46540 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/Ranalysis4.vo
-rw-r--r-- root/admin    19273 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/Raxioms.vo
-rw-r--r-- root/admin     8174 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/Rbase.vo
-rw-r--r-- root/admin    68911 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/Rbasic_fun.vo
-rw-r--r-- root/admin    20677 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/Rcomplete.vo
-rw-r--r-- root/admin    12444 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/Rdefinitions.vo
-rw-r--r-- root/admin    70975 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/Rderiv.vo
-rw-r--r-- root/admin    11666 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/Reals.vo
-rw-r--r-- root/admin    97015 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/Rfunctions.vo
-rw-r--r-- root/admin    42743 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/Rgeom.vo
-rw-r--r-- root/admin   367615 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/RiemannInt.vo
-rw-r--r-- root/admin   372564 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/RiemannInt_SF.vo
-rw-r--r-- root/admin   269881 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/RIneq.vo
-rw-r--r-- root/admin    89449 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/Rlimit.vo
-rw-r--r-- root/admin    94165 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/RList.vo
-rw-r--r-- root/admin   105517 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/Rlogic.vo
-rw-r--r-- root/admin   196662 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/Rminmax.vo
-rw-r--r-- root/admin    63365 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/ROrderedType.vo
-rw-r--r-- root/admin     7001 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/Rpow_def.vo
-rw-r--r-- root/admin    77324 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/Rpower.vo
-rw-r--r-- root/admin   403371 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/Rprod.vo
-rw-r--r-- root/admin    31851 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/Rseries.vo
-rw-r--r-- root/admin    75969 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/Rsigma.vo
-rw-r--r-- root/admin    68866 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/Rsqrt_def.vo
-rw-r--r-- root/admin   175006 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/Rtopology.vo
-rw-r--r-- root/admin   208196 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/Rtrigo.vo
-rw-r--r-- root/admin    52105 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/Rtrigo_alt.vo
-rw-r--r-- root/admin    79212 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/Rtrigo_calc.vo
-rw-r--r-- root/admin   132720 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/Rtrigo_def.vo
-rw-r--r-- root/admin    17391 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/Rtrigo_fun.vo
-rw-r--r-- root/admin    64948 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/Rtrigo_reg.vo
-rw-r--r-- root/admin   114471 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/SeqProp.vo
-rw-r--r-- root/admin    44596 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/SeqSeries.vo
-rw-r--r-- root/admin     9506 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/SplitAbsolu.vo
-rw-r--r-- root/admin     8537 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/SplitRmult.vo
-rw-r--r-- root/admin    36872 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Reals/Sqrt_reg.vo
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Relations/
-rw-r--r-- root/admin    25369 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Relations/Operators_Properties.vo
-rw-r--r-- root/admin    26003 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Relations/Relation_Definitions.vo
-rw-r--r-- root/admin    53543 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Relations/Relation_Operators.vo
-rw-r--r-- root/admin     2946 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Relations/Relations.vo
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Setoids/
-rw-r--r-- root/admin     7020 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Setoids/Setoid.vo
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Sets/
-rw-r--r-- root/admin    10681 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Sets/Classical_sets.vo
-rw-r--r-- root/admin    19341 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Sets/Constructive_sets.vo
-rw-r--r-- root/admin    47816 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Sets/Cpo.vo
-rw-r--r-- root/admin    28169 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Sets/Ensembles.vo
-rw-r--r-- root/admin    12259 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Sets/Finite_sets.vo
-rw-r--r-- root/admin    25520 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Sets/Finite_sets_facts.vo
-rw-r--r-- root/admin    22174 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Sets/Image.vo
-rw-r--r-- root/admin    21062 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Sets/Infinite_sets.vo
-rw-r--r-- root/admin     9033 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Sets/Integers.vo
-rw-r--r-- root/admin    26809 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Sets/Multiset.vo
-rw-r--r-- root/admin    16209 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Sets/Partial_Order.vo
-rw-r--r-- root/admin    10877 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Sets/Permut.vo
-rw-r--r-- root/admin    19641 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Sets/Powerset.vo
-rw-r--r-- root/admin    29338 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Sets/Powerset_Classical_facts.vo
-rw-r--r-- root/admin    25843 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Sets/Powerset_facts.vo
-rw-r--r-- root/admin    15510 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Sets/Relations_1.vo
-rw-r--r-- root/admin     9007 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Sets/Relations_1_facts.vo
-rw-r--r-- root/admin    12308 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Sets/Relations_2.vo
-rw-r--r-- root/admin    12725 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Sets/Relations_2_facts.vo
-rw-r--r-- root/admin     8966 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Sets/Relations_3.vo
-rw-r--r-- root/admin    10726 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Sets/Relations_3_facts.vo
-rw-r--r-- root/admin    20467 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Sets/Uniset.vo
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Sorting/
-rw-r--r-- root/admin    65670 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Sorting/Heap.vo
-rw-r--r-- root/admin    36780 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Sorting/Mergesort.vo
-rw-r--r-- root/admin    85648 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Sorting/Permutation.vo
-rw-r--r-- root/admin    48560 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Sorting/PermutEq.vo
-rw-r--r-- root/admin   108501 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Sorting/PermutSetoid.vo
-rw-r--r-- root/admin    32599 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Sorting/Sorted.vo
-rw-r--r-- root/admin     3723 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Sorting/Sorting.vo
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Strings/
-rw-r--r-- root/admin   287190 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Strings/Ascii.vo
-rw-r--r-- root/admin    56505 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Strings/String.vo
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Structures/
-rw-r--r-- root/admin    30205 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Structures/DecidableType.vo
-rw-r--r-- root/admin    68033 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Structures/DecidableTypeEx.vo
-rw-r--r-- root/admin    71841 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Structures/Equalities.vo
-rw-r--r-- root/admin    53323 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Structures/EqualitiesFacts.vo
-rw-r--r-- root/admin   421026 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Structures/GenericMinMax.vo
-rw-r--r-- root/admin   159940 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Structures/OrderedType.vo
-rw-r--r-- root/admin    93314 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Structures/OrderedTypeAlt.vo
-rw-r--r-- root/admin   174906 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Structures/OrderedTypeEx.vo
-rw-r--r-- root/admin   119531 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Structures/Orders.vo
-rw-r--r-- root/admin    43501 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Structures/OrdersAlt.vo
-rw-r--r-- root/admin    79780 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Structures/OrdersEx.vo
-rw-r--r-- root/admin   146982 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Structures/OrdersFacts.vo
-rw-r--r-- root/admin    60870 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Structures/OrdersLists.vo
-rw-r--r-- root/admin    90521 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Structures/OrdersTac.vo
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Unicode/
-rw-r--r-- root/admin     5251 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Unicode/Utf8.vo
-rw-r--r-- root/admin     2586 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Unicode/Utf8_core.vo
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Wellfounded/
-rw-r--r-- root/admin     6672 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Wellfounded/Disjoint_Union.vo
-rw-r--r-- root/admin     2526 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Wellfounded/Inclusion.vo
-rw-r--r-- root/admin     6507 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Wellfounded/Inverse_Image.vo
-rw-r--r-- root/admin    45706 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Wellfounded/Lexicographic_Exponentiation.vo
-rw-r--r-- root/admin    28519 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Wellfounded/Lexicographic_Product.vo
-rw-r--r-- root/admin     5099 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Wellfounded/Transitive_Closure.vo
-rw-r--r-- root/admin     6518 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Wellfounded/Union.vo
-rw-r--r-- root/admin    11579 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Wellfounded/Well_Ordering.vo
-rw-r--r-- root/admin     4146 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/Wellfounded/Wellfounded.vo
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/ZArith/
-rw-r--r-- root/admin    10256 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/ZArith/auxiliary.vo
-rw-r--r-- root/admin   108193 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/ZArith/BinInt.vo
-rw-r--r-- root/admin    65962 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/ZArith/Int.vo
-rw-r--r-- root/admin    31271 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/ZArith/Wf_Z.vo
-rw-r--r-- root/admin    32957 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/ZArith/Zabs.vo
-rw-r--r-- root/admin     7901 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/ZArith/ZArith.vo
-rw-r--r-- root/admin     9528 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/ZArith/ZArith_base.vo
-rw-r--r-- root/admin    38853 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/ZArith/ZArith_dec.vo
-rw-r--r-- root/admin    31374 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/ZArith/Zbool.vo
-rw-r--r-- root/admin    50393 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/ZArith/Zcompare.vo
-rw-r--r-- root/admin    40089 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/ZArith/Zcomplements.vo
-rw-r--r-- root/admin    48270 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/ZArith/Zdigits.vo
-rw-r--r-- root/admin   593441 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/ZArith/Zdiv.vo
-rw-r--r-- root/admin    37121 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/ZArith/Zeven.vo
-rw-r--r-- root/admin   120101 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/ZArith/Zgcd_alt.vo
-rw-r--r-- root/admin    15236 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/ZArith/Zhints.vo
-rw-r--r-- root/admin    51284 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/ZArith/Zlogarithm.vo
-rw-r--r-- root/admin    16583 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/ZArith/Zmax.vo
-rw-r--r-- root/admin    14692 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/ZArith/Zmin.vo
-rw-r--r-- root/admin   199527 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/ZArith/Zminmax.vo
-rw-r--r-- root/admin     9786 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/ZArith/Zmisc.vo
-rw-r--r-- root/admin    31234 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/ZArith/Znat.vo
-rw-r--r-- root/admin   416650 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/ZArith/Znumtheory.vo
-rw-r--r-- root/admin   305122 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/ZArith/ZOdiv.vo
-rw-r--r-- root/admin    31321 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/ZArith/ZOdiv_def.vo
-rw-r--r-- root/admin    85688 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/ZArith/Zorder.vo
-rw-r--r-- root/admin    54221 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/ZArith/ZOrderedType.vo
-rw-r--r-- root/admin     9135 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/ZArith/Zpow_def.vo
-rw-r--r-- root/admin   211556 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/ZArith/Zpow_facts.vo
-rw-r--r-- root/admin    67544 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/ZArith/Zpower.vo
-rw-r--r-- root/admin   328640 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/ZArith/Zsqrt.vo
-rw-r--r-- root/admin    16981 2012-05-11 13:36 ./sw-buildworld/lib/coq/theories/ZArith/Zwf.vo
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/tools/
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/tools/coqdoc/
-rw-r--r-- root/admin     4642 2012-05-11 13:36 ./sw-buildworld/lib/coq/tools/coqdoc/coqdoc.css
-rw-r--r-- root/admin     5493 2012-05-11 13:36 ./sw-buildworld/lib/coq/tools/coqdoc/coqdoc.sty
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/lib/coq/user-contrib/
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/share/
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/share/doc/
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/
-rw-r--r-- root/admin   102851 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/CHANGES
-rw-r--r-- root/admin      661 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/COPYRIGHT
-rw-r--r-- root/admin     5493 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/coqdoc.sty
-rw-r--r-- root/admin     6762 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/CREDITS
-rw-r--r-- root/admin    24381 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/LICENSE
-rw-r--r-- root/admin     1703 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/README
-rw-r--r-- root/admin      270 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/README.fink
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/
-rw-r--r-- root/admin      929 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Arith.Arith.html
-rw-r--r-- root/admin     2862 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Arith.Arith_base.html
-rw-r--r-- root/admin    34230 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Arith.Between.html
-rw-r--r-- root/admin     8980 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Arith.Bool_nat.html
-rw-r--r-- root/admin     9349 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Arith.Compare.html
-rw-r--r-- root/admin    48390 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Arith.Compare_dec.html
-rw-r--r-- root/admin    26725 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Arith.Div2.html
-rw-r--r-- root/admin    16560 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Arith.EqNat.html
-rw-r--r-- root/admin     8865 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Arith.Euclid.html
-rw-r--r-- root/admin    32353 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Arith.Even.html
-rw-r--r-- root/admin     4767 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Arith.Factorial.html
-rw-r--r-- root/admin    23529 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Arith.Gt.html
-rw-r--r-- root/admin    16021 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Arith.Le.html
-rw-r--r-- root/admin    26957 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Arith.Lt.html
-rw-r--r-- root/admin     6409 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Arith.Max.html
-rw-r--r-- root/admin     6404 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Arith.Min.html
-rw-r--r-- root/admin    20652 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Arith.MinMax.html
-rw-r--r-- root/admin    19700 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Arith.Minus.html
-rw-r--r-- root/admin    35251 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Arith.Mult.html
-rw-r--r-- root/admin    10146 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Arith.NatOrderedType.html
-rw-r--r-- root/admin     5088 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Arith.Peano_dec.html
-rw-r--r-- root/admin    37287 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Arith.Plus.html
-rw-r--r-- root/admin    37889 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Arith.Wf_nat.html
-rw-r--r-- root/admin   135174 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Bool.Bool.html
-rw-r--r-- root/admin    10164 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Bool.BoolEq.html
-rw-r--r-- root/admin    37502 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Bool.Bvector.html
-rw-r--r-- root/admin     5708 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Bool.DecBool.html
-rw-r--r-- root/admin     7757 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Bool.IfProp.html
-rw-r--r-- root/admin    16123 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Bool.Sumbool.html
-rw-r--r-- root/admin     6088 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Bool.Zerob.html
-rw-r--r-- root/admin    21986 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Classes.Equivalence.html
-rw-r--r-- root/admin    31848 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Classes.EquivDec.html
-rw-r--r-- root/admin     4332 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Classes.Init.html
-rw-r--r-- root/admin   104716 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Classes.Morphisms.html
-rw-r--r-- root/admin    15570 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Classes.Morphisms_Prop.html
-rw-r--r-- root/admin    10765 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Classes.Morphisms_Relations.html
-rw-r--r-- root/admin    84875 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Classes.RelationClasses.html
-rw-r--r-- root/admin    33303 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Classes.RelationPairs.html
-rw-r--r-- root/admin    20591 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Classes.SetoidClass.html
-rw-r--r-- root/admin    25159 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Classes.SetoidDec.html
-rw-r--r-- root/admin    28368 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Classes.SetoidTactics.html
-rw-r--r-- root/admin    32127 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.dp.Dp.html
-rw-r--r-- root/admin     3518 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.extraction.ExtrOcamlBasic.html
-rw-r--r-- root/admin    17136 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.extraction.ExtrOcamlBigIntConv.html
-rw-r--r-- root/admin    17029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.extraction.ExtrOcamlIntConv.html
-rw-r--r-- root/admin     6985 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.extraction.ExtrOcamlNatBigInt.html
-rw-r--r-- root/admin     8120 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.extraction.ExtrOcamlNatInt.html
-rw-r--r-- root/admin     2402 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.extraction.ExtrOcamlString.html
-rw-r--r-- root/admin     9277 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.extraction.ExtrOcamlZBigInt.html
-rw-r--r-- root/admin     8598 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.extraction.ExtrOcamlZInt.html
-rw-r--r-- root/admin     1188 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.field.LegacyField.html
-rw-r--r-- root/admin     9572 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.field.LegacyField_Compl.html
-rw-r--r-- root/admin    90979 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.field.LegacyField_Tactic.html
-rw-r--r-- root/admin   113997 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.field.LegacyField_Theory.html
-rw-r--r-- root/admin     1925 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.fourier.Fourier.html
-rw-r--r-- root/admin    27448 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.fourier.Fourier_util.html
-rw-r--r-- root/admin   307452 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.FSets.FMapAVL.html
-rw-r--r-- root/admin   313880 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.FSets.FMapFacts.html
-rw-r--r-- root/admin   164123 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.FSets.FMapFullAVL.html
-rw-r--r-- root/admin    98351 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.FSets.FMapInterface.html
-rw-r--r-- root/admin   199024 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.FSets.FMapList.html
-rw-r--r-- root/admin   203791 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.FSets.FMapPositive.html
-rw-r--r-- root/admin     2325 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.FSets.FMaps.html
-rw-r--r-- root/admin   169587 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.FSets.FMapWeakList.html
-rw-r--r-- root/admin     6553 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.FSets.FSetAVL.html
-rw-r--r-- root/admin   169952 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.FSets.FSetBridge.html
-rw-r--r-- root/admin   169215 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.FSets.FSetCompat.html
-rw-r--r-- root/admin   123531 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.FSets.FSetDecide.html
-rw-r--r-- root/admin   195370 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.FSets.FSetEqProperties.html
-rw-r--r-- root/admin    83321 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.FSets.FSetFacts.html
-rw-r--r-- root/admin   179031 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.FSets.FSetInterface.html
-rw-r--r-- root/admin     3563 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.FSets.FSetList.html
-rw-r--r-- root/admin   200667 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.FSets.FSetPositive.html
-rw-r--r-- root/admin   234035 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.FSets.FSetProperties.html
-rw-r--r-- root/admin     3656 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.FSets.FSets.html
-rw-r--r-- root/admin    20092 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.FSets.FSetToFiniteSet.html
-rw-r--r-- root/admin     3742 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.FSets.FSetWeakList.html
-rw-r--r-- root/admin     7389 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.funind.Recdef.html
-rw-r--r-- root/admin    55438 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Init.Datatypes.html
-rw-r--r-- root/admin    89797 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Init.Logic.html
-rw-r--r-- root/admin    12621 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Init.Logic_Type.html
-rw-r--r-- root/admin    11752 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Init.Notations.html
-rw-r--r-- root/admin    37509 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Init.Peano.html
-rw-r--r-- root/admin     1903 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Init.Prelude.html
-rw-r--r-- root/admin    49417 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Init.Specif.html
-rw-r--r-- root/admin    37268 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Init.Tactics.html
-rw-r--r-- root/admin    33200 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Init.Wf.html
-rw-r--r-- root/admin   293006 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Lists.List.html
-rw-r--r-- root/admin    61087 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Lists.ListSet.html
-rw-r--r-- root/admin    13757 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Lists.ListTactics.html
-rw-r--r-- root/admin   116145 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Lists.SetoidList.html
-rw-r--r-- root/admin    27809 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Lists.StreamMemo.html
-rw-r--r-- root/admin    39158 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Lists.Streams.html
-rw-r--r-- root/admin    85872 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Lists.TheoryList.html
-rw-r--r-- root/admin    19038 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Logic.Berardi.html
-rw-r--r-- root/admin   102128 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Logic.ChoiceFacts.html
-rw-r--r-- root/admin     1038 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Logic.Classical.html
-rw-r--r-- root/admin    11771 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Logic.Classical_Pred_Set.html
-rw-r--r-- root/admin    11696 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Logic.Classical_Pred_Type.html
-rw-r--r-- root/admin    18273 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Logic.Classical_Prop.html
-rw-r--r-- root/admin     1152 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Logic.Classical_Type.html
-rw-r--r-- root/admin     7541 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Logic.ClassicalChoice.html
-rw-r--r-- root/admin    15425 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Logic.ClassicalDescription.html
-rw-r--r-- root/admin    15238 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Logic.ClassicalEpsilon.html
-rw-r--r-- root/admin    72732 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Logic.ClassicalFacts.html
-rw-r--r-- root/admin    10337 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Logic.ClassicalUniqueChoice.html
-rw-r--r-- root/admin    47915 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Logic.ConstructiveEpsilon.html
-rw-r--r-- root/admin    35273 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Logic.Decidable.html
-rw-r--r-- root/admin     2612 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Logic.Description.html
-rw-r--r-- root/admin    29647 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Logic.Diaconescu.html
-rw-r--r-- root/admin    14263 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Logic.Epsilon.html
-rw-r--r-- root/admin     4020 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Logic.Eqdep.html
-rw-r--r-- root/admin    58472 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Logic.Eqdep_dec.html
-rw-r--r-- root/admin    49338 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Logic.EqdepFacts.html
-rw-r--r-- root/admin     7703 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Logic.FunctionalExtensionality.html
-rw-r--r-- root/admin    12684 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Logic.Hurkens.html
-rw-r--r-- root/admin     6256 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Logic.IndefiniteDescription.html
-rw-r--r-- root/admin    20944 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Logic.JMeq.html
-rw-r--r-- root/admin     2503 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Logic.ProofIrrelevance.html
-rw-r--r-- root/admin     8429 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Logic.ProofIrrelevanceFacts.html
-rw-r--r-- root/admin     3618 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Logic.RelationalChoice.html
-rw-r--r-- root/admin     1303 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Logic.SetIsType.html
-rw-r--r-- root/admin    23348 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.micromega.CheckerMaker.html
-rw-r--r-- root/admin    22501 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.micromega.Env.html
-rw-r--r-- root/admin   257059 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.micromega.EnvRing.html
-rw-r--r-- root/admin    92635 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.micromega.OrderedRing.html
-rw-r--r-- root/admin    15404 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.micromega.Psatz.html
-rw-r--r-- root/admin    40202 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.micromega.QMicromega.html
-rw-r--r-- root/admin    17017 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.micromega.Refl.html
-rw-r--r-- root/admin   192147 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.micromega.RingMicromega.html
-rw-r--r-- root/admin    27217 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.micromega.RMicromega.html
-rw-r--r-- root/admin    49929 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.micromega.Tauto.html
-rw-r--r-- root/admin     6243 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.micromega.VarMap.html
-rw-r--r-- root/admin    31492 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.micromega.ZCoeff.html
-rw-r--r-- root/admin   154256 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.micromega.ZMicromega.html
-rw-r--r-- root/admin   239316 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.MSets.MSetAVL.html
-rw-r--r-- root/admin   123491 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.MSets.MSetDecide.html
-rw-r--r-- root/admin   196980 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.MSets.MSetEqProperties.html
-rw-r--r-- root/admin   128753 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.MSets.MSetFacts.html
-rw-r--r-- root/admin   244880 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.MSets.MSetInterface.html
-rw-r--r-- root/admin   152155 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.MSets.MSetList.html
-rw-r--r-- root/admin   187309 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.MSets.MSetPositive.html
-rw-r--r-- root/admin   236151 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.MSets.MSetProperties.html
-rw-r--r-- root/admin     3197 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.MSets.MSets.html
-rw-r--r-- root/admin    19956 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.MSets.MSetToFiniteSet.html
-rw-r--r-- root/admin    92535 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.MSets.MSetWeakList.html
-rw-r--r-- root/admin    76954 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.NArith.BinNat.html
-rw-r--r-- root/admin   205094 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.NArith.BinPos.html
-rw-r--r-- root/admin     1617 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.NArith.NArith.html
-rw-r--r-- root/admin    64827 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.NArith.Ndec.html
-rw-r--r-- root/admin   106104 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.NArith.Ndigits.html
-rw-r--r-- root/admin    39183 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.NArith.Ndist.html
-rw-r--r-- root/admin    16955 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.NArith.Nminmax.html
-rw-r--r-- root/admin    52712 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.NArith.Nnat.html
-rw-r--r-- root/admin     8917 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.NArith.NOrderedType.html
-rw-r--r-- root/admin    17119 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.NArith.Pminmax.html
-rw-r--r-- root/admin    55657 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.NArith.Pnat.html
-rw-r--r-- root/admin     9326 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.NArith.POrderedType.html
-rw-r--r-- root/admin   161473 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.nsatz.Nsatz.html
-rw-r--r-- root/admin    62165 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.BigNumPrelude.html
-rw-r--r-- root/admin   174445 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Cyclic.Abstract.CyclicAxioms.html
-rw-r--r-- root/admin    39449 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Cyclic.Abstract.NZCyclic.html
-rw-r--r-- root/admin    80763 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Cyclic.DoubleCyclic.DoubleAdd.html
-rw-r--r-- root/admin    92567 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Cyclic.DoubleCyclic.DoubleBase.html
-rw-r--r-- root/admin   235721 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Cyclic.DoubleCyclic.DoubleCyclic.html
-rw-r--r-- root/admin   397836 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Cyclic.DoubleCyclic.DoubleDiv.html
-rw-r--r-- root/admin   116743 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Cyclic.DoubleCyclic.DoubleDivn1.html
-rw-r--r-- root/admin    94165 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Cyclic.DoubleCyclic.DoubleLift.html
-rw-r--r-- root/admin   196236 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Cyclic.DoubleCyclic.DoubleMul.html
-rw-r--r-- root/admin   185196 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Cyclic.DoubleCyclic.DoubleSqrt.html
-rw-r--r-- root/admin    84703 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Cyclic.DoubleCyclic.DoubleSub.html
-rw-r--r-- root/admin     9898 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Cyclic.DoubleCyclic.DoubleType.html
-rw-r--r-- root/admin   305181 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Cyclic.Int31.Cyclic31.html
-rw-r--r-- root/admin   116121 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Cyclic.Int31.Int31.html
-rw-r--r-- root/admin    22353 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Cyclic.Int31.Ring31.html
-rw-r--r-- root/admin   177286 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Cyclic.ZModulo.ZModulo.html
-rw-r--r-- root/admin    56451 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Integer.Abstract.ZAdd.html
-rw-r--r-- root/admin    54499 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Integer.Abstract.ZAddOrder.html
-rw-r--r-- root/admin     8731 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Integer.Abstract.ZAxioms.html
-rw-r--r-- root/admin     3927 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Integer.Abstract.ZBase.html
-rw-r--r-- root/admin   102400 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Integer.Abstract.ZDivEucl.html
-rw-r--r-- root/admin   117817 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Integer.Abstract.ZDivFloor.html
-rw-r--r-- root/admin   102055 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Integer.Abstract.ZDivTrunc.html
-rw-r--r-- root/admin    19586 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Integer.Abstract.ZLt.html
-rw-r--r-- root/admin    12914 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Integer.Abstract.ZMul.html
-rw-r--r-- root/admin    33871 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Integer.Abstract.ZMulOrder.html
-rw-r--r-- root/admin     3287 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Integer.Abstract.ZProperties.html
-rw-r--r-- root/admin    54180 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Integer.Abstract.ZSgnAbs.html
-rw-r--r-- root/admin    36035 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Integer.BigZ.BigZ.html
-rw-r--r-- root/admin    84090 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Integer.BigZ.ZMake.html
-rw-r--r-- root/admin    22246 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Integer.Binary.ZBinary.html
-rw-r--r-- root/admin    68744 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Integer.NatPairs.ZNatPairs.html
-rw-r--r-- root/admin    50410 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Integer.SpecViaZ.ZSig.html
-rw-r--r-- root/admin    48951 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Integer.SpecViaZ.ZSigZAxioms.html
-rw-r--r-- root/admin    37773 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.NaryFunctions.html
-rw-r--r-- root/admin    18046 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.NatInt.NZAdd.html
-rw-r--r-- root/admin    28419 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.NatInt.NZAddOrder.html
-rw-r--r-- root/admin    36766 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.NatInt.NZAxioms.html
-rw-r--r-- root/admin    11713 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.NatInt.NZBase.html
-rw-r--r-- root/admin    89518 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.NatInt.NZDiv.html
-rw-r--r-- root/admin    63256 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.NatInt.NZDomain.html
-rw-r--r-- root/admin    11265 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.NatInt.NZMul.html
-rw-r--r-- root/admin    47333 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.NatInt.NZMulOrder.html
-rw-r--r-- root/admin   101019 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.NatInt.NZOrder.html
-rw-r--r-- root/admin     1429 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.NatInt.NZProperties.html
-rw-r--r-- root/admin    11237 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Natural.Abstract.NAdd.html
-rw-r--r-- root/admin     5626 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Natural.Abstract.NAddOrder.html
-rw-r--r-- root/admin     9046 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Natural.Abstract.NAxioms.html
-rw-r--r-- root/admin    31143 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Natural.Abstract.NBase.html
-rw-r--r-- root/admin    67273 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Natural.Abstract.NDefOps.html
-rw-r--r-- root/admin    74554 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Natural.Abstract.NDiv.html
-rw-r--r-- root/admin    17647 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Natural.Abstract.NIso.html
-rw-r--r-- root/admin    11390 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Natural.Abstract.NMulOrder.html
-rw-r--r-- root/admin    28848 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Natural.Abstract.NOrder.html
-rw-r--r-- root/admin     2435 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Natural.Abstract.NProperties.html
-rw-r--r-- root/admin    35738 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Natural.Abstract.NStrongRec.html
-rw-r--r-- root/admin    43196 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Natural.Abstract.NSub.html
-rw-r--r-- root/admin    34651 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Natural.BigN.BigN.html
-rw-r--r-- root/admin   115309 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Natural.BigN.Nbasic.html
-rw-r--r-- root/admin    84533 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Natural.BigN.NMake.html
-rw-r--r-- root/admin  1077950 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Natural.BigN.NMake_gen.html
-rw-r--r-- root/admin    27890 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Natural.Binary.NBinary.html
-rw-r--r-- root/admin    45522 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Natural.Peano.NPeano.html
-rw-r--r-- root/admin    52109 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Natural.SpecViaZ.NSig.html
-rw-r--r-- root/admin    47653 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Natural.SpecViaZ.NSigNAxioms.html
-rw-r--r-- root/admin    10504 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.NumPrelude.html
-rw-r--r-- root/admin    31118 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Rational.BigQ.BigQ.html
-rw-r--r-- root/admin   182619 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Rational.BigQ.QMake.html
-rw-r--r-- root/admin    83118 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Numbers.Rational.SpecViaQ.QSig.html
-rw-r--r-- root/admin    13828 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.omega.Omega.html
-rw-r--r-- root/admin    83301 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.omega.OmegaLemmas.html
-rw-r--r-- root/admin      523 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.omega.OmegaPlugin.html
-rw-r--r-- root/admin   128763 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.omega.PreOmega.html
-rw-r--r-- root/admin     7075 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Program.Basics.html
-rw-r--r-- root/admin     8889 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Program.Combinators.html
-rw-r--r-- root/admin    89354 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Program.Equality.html
-rw-r--r-- root/admin     1988 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Program.Program.html
-rw-r--r-- root/admin    15367 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Program.Subset.html
-rw-r--r-- root/admin    12353 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Program.Syntax.html
-rw-r--r-- root/admin    54056 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Program.Tactics.html
-rw-r--r-- root/admin     6268 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Program.Utils.html
-rw-r--r-- root/admin    48225 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Program.Wf.html
-rw-r--r-- root/admin    11881 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.QArith.Qabs.html
-rw-r--r-- root/admin     1126 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.QArith.QArith.html
-rw-r--r-- root/admin   126239 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.QArith.QArith_base.html
-rw-r--r-- root/admin    81980 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.QArith.Qcanon.html
-rw-r--r-- root/admin    20660 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.QArith.Qfield.html
-rw-r--r-- root/admin    10900 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.QArith.Qminmax.html
-rw-r--r-- root/admin     8610 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.QArith.QOrderedType.html
-rw-r--r-- root/admin    28362 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.QArith.Qpower.html
-rw-r--r-- root/admin    21151 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.QArith.Qreals.html
-rw-r--r-- root/admin    16175 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.QArith.Qreduction.html
-rw-r--r-- root/admin      715 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.QArith.Qring.html
-rw-r--r-- root/admin    12885 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.QArith.Qround.html
-rw-r--r-- root/admin    12204 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.quote.Quote.html
-rw-r--r-- root/admin    25019 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.Alembert.html
-rw-r--r-- root/admin    27042 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.AltSeries.html
-rw-r--r-- root/admin    11542 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.ArithProp.html
-rw-r--r-- root/admin    12558 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.Binomial.html
-rw-r--r-- root/admin     9577 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.Cauchy_prod.html
-rw-r--r-- root/admin    11202 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.Cos_plus.html
-rw-r--r-- root/admin    31886 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.Cos_rel.html
-rw-r--r-- root/admin    16121 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.DiscrR.html
-rw-r--r-- root/admin    23928 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.Exp_prop.html
-rw-r--r-- root/admin     1139 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.Integration.html
-rw-r--r-- root/admin     4055 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.LegacyRfield.html
-rw-r--r-- root/admin    64198 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.MVT.html
-rw-r--r-- root/admin    35161 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.NewtonInt.html
-rw-r--r-- root/admin    55867 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.PartSum.html
-rw-r--r-- root/admin    31877 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.PSeries_reg.html
-rw-r--r-- root/admin    27530 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.R_Ifp.html
-rw-r--r-- root/admin    47002 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.R_sqr.html
-rw-r--r-- root/admin    45838 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.R_sqrt.html
-rw-r--r-- root/admin   223845 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.Ranalysis.html
-rw-r--r-- root/admin   130454 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.Ranalysis1.html
-rw-r--r-- root/admin    61416 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.Ranalysis2.html
-rw-r--r-- root/admin    11446 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.Ranalysis3.html
-rw-r--r-- root/admin    33659 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.Ranalysis4.html
-rw-r--r-- root/admin    31217 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.Raxioms.html
-rw-r--r-- root/admin     1313 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.Rbase.html
-rw-r--r-- root/admin    56989 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.Rbasic_fun.html
-rw-r--r-- root/admin     3110 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.Rcomplete.html
-rw-r--r-- root/admin    13353 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.Rdefinitions.html
-rw-r--r-- root/admin    30591 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.Rderiv.html
-rw-r--r-- root/admin     2599 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.Reals.html
-rw-r--r-- root/admin    87523 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.Rfunctions.html
-rw-r--r-- root/admin    35171 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.Rgeom.html
-rw-r--r-- root/admin   149708 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.RiemannInt.html
-rw-r--r-- root/admin   125343 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.RiemannInt_SF.html
-rw-r--r-- root/admin   297994 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.RIneq.html
-rw-r--r-- root/admin    47411 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.Rlimit.html
-rw-r--r-- root/admin    89610 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.RList.html
-rw-r--r-- root/admin    14285 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.Rlogic.html
-rw-r--r-- root/admin    20752 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.Rminmax.html
-rw-r--r-- root/admin    15372 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.ROrderedType.html
-rw-r--r-- root/admin     2162 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.Rpow_def.html
-rw-r--r-- root/admin    53949 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.Rpower.html
-rw-r--r-- root/admin    17962 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.Rprod.html
-rw-r--r-- root/admin    21911 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.Rseries.html
-rw-r--r-- root/admin    12880 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.Rsigma.html
-rw-r--r-- root/admin    45640 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.Rsqrt_def.html
-rw-r--r-- root/admin   114060 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.Rtopology.html
-rw-r--r-- root/admin   159493 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.Rtrigo.html
-rw-r--r-- root/admin    13613 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.Rtrigo_alt.html
-rw-r--r-- root/admin    37816 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.Rtrigo_calc.html
-rw-r--r-- root/admin    33816 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.Rtrigo_def.html
-rw-r--r-- root/admin     3143 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.Rtrigo_fun.html
-rw-r--r-- root/admin    15424 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.Rtrigo_reg.html
-rw-r--r-- root/admin    70542 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.SeqProp.html
-rw-r--r-- root/admin    15553 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.SeqSeries.html
-rw-r--r-- root/admin     3033 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.SplitAbsolu.html
-rw-r--r-- root/admin     1947 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.SplitRmult.html
-rw-r--r-- root/admin     9130 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Reals.Sqrt_reg.html
-rw-r--r-- root/admin    45074 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Relations.Operators_Properties.html
-rw-r--r-- root/admin    18345 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Relations.Relation_Definitions.html
-rw-r--r-- root/admin    68474 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Relations.Relation_Operators.html
-rw-r--r-- root/admin     3686 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Relations.Relations.html
-rw-r--r-- root/admin    11327 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.ring.LegacyArithRing.html
-rw-r--r-- root/admin     4280 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.ring.LegacyNArithRing.html
-rw-r--r-- root/admin     3960 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.ring.LegacyRing.html
-rw-r--r-- root/admin    94471 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.ring.LegacyRing_theory.html
-rw-r--r-- root/admin     4359 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.ring.LegacyZArithRing.html
-rw-r--r-- root/admin   125798 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.ring.Ring_abstract.html
-rw-r--r-- root/admin   140341 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.ring.Ring_normalize.html
-rw-r--r-- root/admin     1160 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.ring.Setoid_ring.html
-rw-r--r-- root/admin   157132 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.ring.Setoid_ring_normalize.html
-rw-r--r-- root/admin   108566 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.ring.Setoid_ring_theory.html
-rw-r--r-- root/admin   591148 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.romega.ReflOmegaCore.html
-rw-r--r-- root/admin     1534 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.romega.ROmega.html
-rw-r--r-- root/admin    52567 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.rtauto.Bintree.html
-rw-r--r-- root/admin    62070 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.rtauto.Rtauto.html
-rw-r--r-- root/admin     8699 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.setoid_ring.ArithRing.html
-rw-r--r-- root/admin    14550 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.setoid_ring.BinList.html
-rw-r--r-- root/admin      938 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.setoid_ring.Field.html
-rw-r--r-- root/admin   113290 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.setoid_ring.Field_tac.html
-rw-r--r-- root/admin   374830 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.setoid_ring.Field_theory.html
-rw-r--r-- root/admin   190600 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.setoid_ring.InitialRing.html
-rw-r--r-- root/admin     2409 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.setoid_ring.NArithRing.html
-rw-r--r-- root/admin    13025 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.setoid_ring.RealField.html
-rw-r--r-- root/admin     6294 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.setoid_ring.Ring.html
-rw-r--r-- root/admin     1351 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.setoid_ring.Ring_base.html
-rw-r--r-- root/admin    18308 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.setoid_ring.Ring_equiv.html
-rw-r--r-- root/admin   359665 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.setoid_ring.Ring_polynom.html
-rw-r--r-- root/admin    80440 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.setoid_ring.Ring_tac.html
-rw-r--r-- root/admin   179236 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.setoid_ring.Ring_theory.html
-rw-r--r-- root/admin     8154 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.setoid_ring.ZArithRing.html
-rw-r--r-- root/admin     8794 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Setoids.Setoid.html
-rw-r--r-- root/admin    18018 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Sets.Classical_sets.html
-rw-r--r-- root/admin    27475 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Sets.Constructive_sets.html
-rw-r--r-- root/admin    29231 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Sets.Cpo.html
-rw-r--r-- root/admin    23605 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Sets.Ensembles.html
-rw-r--r-- root/admin    15127 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Sets.Finite_sets.html
-rw-r--r-- root/admin    34365 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Sets.Finite_sets_facts.html
-rw-r--r-- root/admin    30951 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Sets.Image.html
-rw-r--r-- root/admin    28970 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Sets.Infinite_sets.html
-rw-r--r-- root/admin    12615 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Sets.Integers.html
-rw-r--r-- root/admin    31237 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Sets.Multiset.html
-rw-r--r-- root/admin    13924 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Sets.Partial_Order.html
-rw-r--r-- root/admin    17768 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Sets.Permut.html
-rw-r--r-- root/admin    34346 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Sets.Powerset.html
-rw-r--r-- root/admin    48904 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Sets.Powerset_Classical_facts.html
-rw-r--r-- root/admin    43661 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Sets.Powerset_facts.html
-rw-r--r-- root/admin    11822 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Sets.Relations_1.html
-rw-r--r-- root/admin    12647 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Sets.Relations_1_facts.html
-rw-r--r-- root/admin    10233 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Sets.Relations_2.html
-rw-r--r-- root/admin    17023 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Sets.Relations_2_facts.html
-rw-r--r-- root/admin    11196 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Sets.Relations_3.html
-rw-r--r-- root/admin     7805 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Sets.Relations_3_facts.html
-rw-r--r-- root/admin    33846 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Sets.Uniset.html
-rw-r--r-- root/admin    48146 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Sorting.Heap.html
-rw-r--r-- root/admin    35164 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Sorting.Mergesort.html
-rw-r--r-- root/admin    55948 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Sorting.Permutation.html
-rw-r--r-- root/admin    22702 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Sorting.PermutEq.html
-rw-r--r-- root/admin    74296 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Sorting.PermutSetoid.html
-rw-r--r-- root/admin    23819 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Sorting.Sorted.html
-rw-r--r-- root/admin      923 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Sorting.Sorting.html
-rw-r--r-- root/admin    23310 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Strings.Ascii.html
-rw-r--r-- root/admin    44705 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Strings.String.html
-rw-r--r-- root/admin    31523 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Structures.DecidableType.html
-rw-r--r-- root/admin    16463 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Structures.DecidableTypeEx.html
-rw-r--r-- root/admin    49432 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Structures.Equalities.html
-rw-r--r-- root/admin    37056 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Structures.EqualitiesFacts.html
-rw-r--r-- root/admin   140690 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Structures.GenericMinMax.html
-rw-r--r-- root/admin   120384 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Structures.OrderedType.html
-rw-r--r-- root/admin    20883 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Structures.OrderedTypeAlt.html
-rw-r--r-- root/admin    57936 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Structures.OrderedTypeEx.html
-rw-r--r-- root/admin    70869 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Structures.Orders.html
-rw-r--r-- root/admin    30936 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Structures.OrdersAlt.html
-rw-r--r-- root/admin    11607 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Structures.OrdersEx.html
-rw-r--r-- root/admin    60053 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Structures.OrdersFacts.html
-rw-r--r-- root/admin    55596 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Structures.OrdersLists.html
-rw-r--r-- root/admin    72567 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Structures.OrdersTac.html
-rw-r--r-- root/admin    12749 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Unicode.Utf8.html
-rw-r--r-- root/admin     6279 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Unicode.Utf8_core.html
-rw-r--r-- root/admin     6647 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Wellfounded.Disjoint_Union.html
-rw-r--r-- root/admin     4481 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Wellfounded.Inclusion.html
-rw-r--r-- root/admin    10400 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Wellfounded.Inverse_Image.html
-rw-r--r-- root/admin    26193 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Wellfounded.Lexicographic_Exponentiation.html
-rw-r--r-- root/admin    19488 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Wellfounded.Lexicographic_Product.html
-rw-r--r-- root/admin     6240 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Wellfounded.Transitive_Closure.html
-rw-r--r-- root/admin     9176 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Wellfounded.Union.html
-rw-r--r-- root/admin     7930 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Wellfounded.Well_Ordering.html
-rw-r--r-- root/admin     2298 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.Wellfounded.Wellfounded.html
-rw-r--r-- root/admin    15603 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.ZArith.auxiliary.html
-rw-r--r-- root/admin   172926 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.ZArith.BinInt.html
-rw-r--r-- root/admin   128107 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.ZArith.Int.html
-rw-r--r-- root/admin    29559 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.ZArith.Wf_Z.html
-rw-r--r-- root/admin    34293 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.ZArith.Zabs.html
-rw-r--r-- root/admin     2185 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.ZArith.ZArith.html
-rw-r--r-- root/admin     5832 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.ZArith.ZArith_base.html
-rw-r--r-- root/admin    34732 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.ZArith.ZArith_dec.html
-rw-r--r-- root/admin    40759 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.ZArith.Zbool.html
-rw-r--r-- root/admin    58430 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.ZArith.Zcompare.html
-rw-r--r-- root/admin    20676 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.ZArith.Zcomplements.html
-rw-r--r-- root/admin    40566 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.ZArith.Zdigits.html
-rw-r--r-- root/admin   164920 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.ZArith.Zdiv.html
-rw-r--r-- root/admin    37517 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.ZArith.Zeven.html
-rw-r--r-- root/admin    23247 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.ZArith.Zgcd_alt.html
-rw-r--r-- root/admin    26140 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.ZArith.Zhints.html
-rw-r--r-- root/admin    31404 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.ZArith.Zlogarithm.html
-rw-r--r-- root/admin    25877 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.ZArith.Zmax.html
-rw-r--r-- root/admin    22949 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.ZArith.Zmin.html
-rw-r--r-- root/admin    29831 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.ZArith.Zminmax.html
-rw-r--r-- root/admin    13870 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.ZArith.Zmisc.html
-rw-r--r-- root/admin    33653 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.ZArith.Znat.html
-rw-r--r-- root/admin   192093 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.ZArith.Znumtheory.html
-rw-r--r-- root/admin   113538 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.ZArith.ZOdiv.html
-rw-r--r-- root/admin    31846 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.ZArith.ZOdiv_def.html
-rw-r--r-- root/admin   137840 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.ZArith.Zorder.html
-rw-r--r-- root/admin     9414 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.ZArith.ZOrderedType.html
-rw-r--r-- root/admin     4888 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.ZArith.Zpow_def.html
-rw-r--r-- root/admin    47952 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.ZArith.Zpow_facts.html
-rw-r--r-- root/admin    55856 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.ZArith.Zpower.html
-rw-r--r-- root/admin    17766 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.ZArith.Zsqrt.html
-rw-r--r-- root/admin     9061 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/Coq.ZArith.Zwf.html
-rw-r--r-- root/admin     4642 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/coqdoc.css
-rw-r--r-- root/admin    18024 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/genindex.html
-rw-r--r-- root/admin    24408 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_abbreviation_*.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_abbreviation__.html
-rw-r--r-- root/admin    54124 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_abbreviation_A.html
-rw-r--r-- root/admin    21754 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_abbreviation_B.html
-rw-r--r-- root/admin    53256 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_abbreviation_C.html
-rw-r--r-- root/admin    53795 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_abbreviation_D.html
-rw-r--r-- root/admin    46665 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_abbreviation_E.html
-rw-r--r-- root/admin    49263 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_abbreviation_F.html
-rw-r--r-- root/admin    49388 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_abbreviation_G.html
-rw-r--r-- root/admin    20411 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_abbreviation_H.html
-rw-r--r-- root/admin    62484 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_abbreviation_I.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_abbreviation_J.html
-rw-r--r-- root/admin    22530 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_abbreviation_K.html
-rw-r--r-- root/admin    55698 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_abbreviation_L.html
-rw-r--r-- root/admin    74646 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_abbreviation_M.html
-rw-r--r-- root/admin    62744 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_abbreviation_N.html
-rw-r--r-- root/admin    59849 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_abbreviation_O.html
-rw-r--r-- root/admin    73004 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_abbreviation_P.html
-rw-r--r-- root/admin    20248 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_abbreviation_Q.html
-rw-r--r-- root/admin    95304 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_abbreviation_R.html
-rw-r--r-- root/admin    62351 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_abbreviation_S.html
-rw-r--r-- root/admin    58460 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_abbreviation_T.html
-rw-r--r-- root/admin    18724 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_abbreviation_U.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_abbreviation_V.html
-rw-r--r-- root/admin    83334 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_abbreviation_W.html
-rw-r--r-- root/admin    21324 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_abbreviation_X.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_abbreviation_Y.html
-rw-r--r-- root/admin    86160 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_abbreviation_Z.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_axiom_*.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_axiom__.html
-rw-r--r-- root/admin    21212 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_axiom_A.html
-rw-r--r-- root/admin    54566 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_axiom_B.html
-rw-r--r-- root/admin    67941 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_axiom_C.html
-rw-r--r-- root/admin    43506 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_axiom_D.html
-rw-r--r-- root/admin    44819 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_axiom_E.html
-rw-r--r-- root/admin    24257 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_axiom_F.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_axiom_G.html
-rw-r--r-- root/admin    75096 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_axiom_H.html
-rw-r--r-- root/admin   114968 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_axiom_I.html
-rw-r--r-- root/admin    18843 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_axiom_J.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_axiom_K.html
-rw-r--r-- root/admin    42717 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_axiom_L.html
-rw-r--r-- root/admin    45593 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_axiom_M.html
-rw-r--r-- root/admin   118257 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_axiom_N.html
-rw-r--r-- root/admin    50700 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_axiom_O.html
-rw-r--r-- root/admin    43706 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_axiom_P.html
-rw-r--r-- root/admin    79044 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_axiom_Q.html
-rw-r--r-- root/admin    80684 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_axiom_R.html
-rw-r--r-- root/admin   111746 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_axiom_S.html
-rw-r--r-- root/admin    20472 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_axiom_T.html
-rw-r--r-- root/admin    42042 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_axiom_U.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_axiom_V.html
-rw-r--r-- root/admin   230487 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_axiom_W.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_axiom_X.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_axiom_Y.html
-rw-r--r-- root/admin   112148 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_axiom_Z.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_constructor_*.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_constructor__.html
-rw-r--r-- root/admin    56182 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_constructor_A.html
-rw-r--r-- root/admin    41522 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_constructor_B.html
-rw-r--r-- root/admin    63840 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_constructor_C.html
-rw-r--r-- root/admin    94995 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_constructor_D.html
-rw-r--r-- root/admin    75552 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_constructor_E.html
-rw-r--r-- root/admin    55800 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_constructor_F.html
-rw-r--r-- root/admin    20222 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_constructor_G.html
-rw-r--r-- root/admin    41596 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_constructor_H.html
-rw-r--r-- root/admin   177699 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_constructor_I.html
-rw-r--r-- root/admin    19109 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_constructor_J.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_constructor_K.html
-rw-r--r-- root/admin    56765 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_constructor_L.html
-rw-r--r-- root/admin   114328 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_constructor_M.html
-rw-r--r-- root/admin    62457 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_constructor_N.html
-rw-r--r-- root/admin    45920 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_constructor_O.html
-rw-r--r-- root/admin    89194 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_constructor_P.html
-rw-r--r-- root/admin    19433 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_constructor_Q.html
-rw-r--r-- root/admin    83817 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_constructor_R.html
-rw-r--r-- root/admin    68307 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_constructor_S.html
-rw-r--r-- root/admin    55689 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_constructor_T.html
-rw-r--r-- root/admin    45561 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_constructor_U.html
-rw-r--r-- root/admin    20159 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_constructor_V.html
-rw-r--r-- root/admin   103999 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_constructor_W.html
-rw-r--r-- root/admin    18852 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_constructor_X.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_constructor_Y.html
-rw-r--r-- root/admin    54378 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_constructor_Z.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_definition_*.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_definition__.html
-rw-r--r-- root/admin   100626 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_definition_A.html
-rw-r--r-- root/admin   208826 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_definition_B.html
-rw-r--r-- root/admin   232092 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_definition_C.html
-rw-r--r-- root/admin   211681 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_definition_D.html
-rw-r--r-- root/admin   102797 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_definition_E.html
-rw-r--r-- root/admin   187696 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_definition_F.html
-rw-r--r-- root/admin    89181 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_definition_G.html
-rw-r--r-- root/admin    55994 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_definition_H.html
-rw-r--r-- root/admin   426480 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_definition_I.html
-rw-r--r-- root/admin    19058 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_definition_J.html
-rw-r--r-- root/admin    49011 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_definition_K.html
-rw-r--r-- root/admin    85857 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_definition_L.html
-rw-r--r-- root/admin   662775 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_definition_M.html
-rw-r--r-- root/admin   365224 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_definition_N.html
-rw-r--r-- root/admin   205040 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_definition_O.html
-rw-r--r-- root/admin   436102 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_definition_P.html
-rw-r--r-- root/admin    96941 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_definition_Q.html
-rw-r--r-- root/admin   228290 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_definition_R.html
-rw-r--r-- root/admin   225789 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_definition_S.html
-rw-r--r-- root/admin    80687 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_definition_T.html
-rw-r--r-- root/admin   134910 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_definition_U.html
-rw-r--r-- root/admin    58852 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_definition_V.html
-rw-r--r-- root/admin   233731 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_definition_W.html
-rw-r--r-- root/admin    47413 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_definition_X.html
-rw-r--r-- root/admin    18498 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_definition_Y.html
-rw-r--r-- root/admin   423225 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_definition_Z.html
-rw-r--r-- root/admin    89663 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_global_*.html
-rw-r--r-- root/admin    19354 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_global__.html
-rw-r--r-- root/admin   727908 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_global_A.html
-rw-r--r-- root/admin   417103 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_global_B.html
-rw-r--r-- root/admin  1275212 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_global_C.html
-rw-r--r-- root/admin  1761365 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_global_D.html
-rw-r--r-- root/admin   749346 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_global_E.html
-rw-r--r-- root/admin   627794 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_global_F.html
-rw-r--r-- root/admin   352691 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_global_G.html
-rw-r--r-- root/admin   170740 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_global_H.html
-rw-r--r-- root/admin  1893376 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_global_I.html
-rw-r--r-- root/admin    72245 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_global_J.html
-rw-r--r-- root/admin   243864 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_global_K.html
-rw-r--r-- root/admin   426171 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_global_L.html
-rw-r--r-- root/admin  2892315 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_global_M.html
-rw-r--r-- root/admin  3009119 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_global_N.html
-rw-r--r-- root/admin   883877 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_global_O.html
-rw-r--r-- root/admin  2463292 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_global_P.html
-rw-r--r-- root/admin   629586 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_global_Q.html
-rw-r--r-- root/admin  1990916 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_global_R.html
-rw-r--r-- root/admin  2309547 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_global_S.html
-rw-r--r-- root/admin   574362 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_global_T.html
-rw-r--r-- root/admin   400892 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_global_U.html
-rw-r--r-- root/admin   105367 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_global_V.html
-rw-r--r-- root/admin  2729209 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_global_W.html
-rw-r--r-- root/admin    82192 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_global_X.html
-rw-r--r-- root/admin    18530 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_global_Y.html
-rw-r--r-- root/admin  3817950 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_global_Z.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_inductive_*.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_inductive__.html
-rw-r--r-- root/admin    51300 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_inductive_A.html
-rw-r--r-- root/admin    43596 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_inductive_B.html
-rw-r--r-- root/admin    79079 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_inductive_C.html
-rw-r--r-- root/admin    45128 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_inductive_D.html
-rw-r--r-- root/admin    50294 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_inductive_E.html
-rw-r--r-- root/admin    45671 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_inductive_F.html
-rw-r--r-- root/admin    18373 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_inductive_G.html
-rw-r--r-- root/admin    18673 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_inductive_H.html
-rw-r--r-- root/admin    58622 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_inductive_I.html
-rw-r--r-- root/admin    18500 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_inductive_J.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_inductive_K.html
-rw-r--r-- root/admin    42906 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_inductive_L.html
-rw-r--r-- root/admin    47212 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_inductive_M.html
-rw-r--r-- root/admin    44547 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_inductive_N.html
-rw-r--r-- root/admin    40708 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_inductive_O.html
-rw-r--r-- root/admin    56622 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_inductive_P.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_inductive_Q.html
-rw-r--r-- root/admin    44973 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_inductive_R.html
-rw-r--r-- root/admin    58374 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_inductive_S.html
-rw-r--r-- root/admin    40693 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_inductive_T.html
-rw-r--r-- root/admin    40268 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_inductive_U.html
-rw-r--r-- root/admin    21477 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_inductive_V.html
-rw-r--r-- root/admin    44967 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_inductive_W.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_inductive_X.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_inductive_Y.html
-rw-r--r-- root/admin    45887 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_inductive_Z.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_instance_*.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_instance__.html
-rw-r--r-- root/admin    55334 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_instance_A.html
-rw-r--r-- root/admin    46164 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_instance_B.html
-rw-r--r-- root/admin    42755 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_instance_C.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_instance_D.html
-rw-r--r-- root/admin    78946 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_instance_E.html
-rw-r--r-- root/admin    41817 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_instance_F.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_instance_G.html
-rw-r--r-- root/admin    22970 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_instance_H.html
-rw-r--r-- root/admin    92389 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_instance_I.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_instance_J.html
-rw-r--r-- root/admin    73349 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_instance_K.html
-rw-r--r-- root/admin    19416 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_instance_L.html
-rw-r--r-- root/admin   128607 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_instance_M.html
-rw-r--r-- root/admin   163686 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_instance_N.html
-rw-r--r-- root/admin    73450 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_instance_O.html
-rw-r--r-- root/admin   111443 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_instance_P.html
-rw-r--r-- root/admin    83427 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_instance_Q.html
-rw-r--r-- root/admin   123083 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_instance_R.html
-rw-r--r-- root/admin    66372 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_instance_S.html
-rw-r--r-- root/admin    71947 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_instance_T.html
-rw-r--r-- root/admin    48776 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_instance_U.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_instance_V.html
-rw-r--r-- root/admin   109190 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_instance_W.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_instance_X.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_instance_Y.html
-rw-r--r-- root/admin    79487 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_instance_Z.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_lemma_*.html
-rw-r--r-- root/admin    19290 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_lemma__.html
-rw-r--r-- root/admin   409497 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_lemma_A.html
-rw-r--r-- root/admin   114555 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_lemma_B.html
-rw-r--r-- root/admin   703115 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_lemma_C.html
-rw-r--r-- root/admin   523898 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_lemma_D.html
-rw-r--r-- root/admin   403062 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_lemma_E.html
-rw-r--r-- root/admin   349641 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_lemma_F.html
-rw-r--r-- root/admin   202136 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_lemma_G.html
-rw-r--r-- root/admin    61377 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_lemma_H.html
-rw-r--r-- root/admin   980773 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_lemma_I.html
-rw-r--r-- root/admin    66686 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_lemma_J.html
-rw-r--r-- root/admin   164607 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_lemma_K.html
-rw-r--r-- root/admin   230862 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_lemma_L.html
-rw-r--r-- root/admin  1141399 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_lemma_M.html
-rw-r--r-- root/admin  1971038 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_lemma_N.html
-rw-r--r-- root/admin   450817 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_lemma_O.html
-rw-r--r-- root/admin  1404718 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_lemma_P.html
-rw-r--r-- root/admin   425960 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_lemma_Q.html
-rw-r--r-- root/admin  1281388 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_lemma_R.html
-rw-r--r-- root/admin  1361131 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_lemma_S.html
-rw-r--r-- root/admin   245955 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_lemma_T.html
-rw-r--r-- root/admin   157339 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_lemma_U.html
-rw-r--r-- root/admin    65676 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_lemma_V.html
-rw-r--r-- root/admin  1792057 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_lemma_W.html
-rw-r--r-- root/admin    63446 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_lemma_X.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_lemma_Y.html
-rw-r--r-- root/admin  2479589 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_lemma_Z.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_library_*.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_library__.html
-rw-r--r-- root/admin    18517 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_library_A.html
-rw-r--r-- root/admin    18990 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_library_B.html
-rw-r--r-- root/admin    19630 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_library_C.html
-rw-r--r-- root/admin    19490 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_library_D.html
-rw-r--r-- root/admin    19537 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_library_E.html
-rw-r--r-- root/admin    19862 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_library_F.html
-rw-r--r-- root/admin    18193 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_library_G.html
-rw-r--r-- root/admin    18182 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_library_H.html
-rw-r--r-- root/admin    18778 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_library_I.html
-rw-r--r-- root/admin    18129 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_library_J.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_library_K.html
-rw-r--r-- root/admin    19272 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_library_L.html
-rw-r--r-- root/admin    19313 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_library_M.html
-rw-r--r-- root/admin    38437 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_library_N.html
-rw-r--r-- root/admin    18955 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_library_O.html
-rw-r--r-- root/admin    19344 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_library_P.html
-rw-r--r-- root/admin    18946 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_library_Q.html
-rw-r--r-- root/admin    39515 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_library_R.html
-rw-r--r-- root/admin    19376 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_library_S.html
-rw-r--r-- root/admin    18374 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_library_T.html
-rw-r--r-- root/admin    18338 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_library_U.html
-rw-r--r-- root/admin    18137 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_library_V.html
-rw-r--r-- root/admin    18396 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_library_W.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_library_X.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_library_Y.html
-rw-r--r-- root/admin    38618 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_library_Z.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_module_*.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_module__.html
-rw-r--r-- root/admin    43361 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_module_A.html
-rw-r--r-- root/admin    68772 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_module_B.html
-rw-r--r-- root/admin    41561 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_module_C.html
-rw-r--r-- root/admin    86747 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_module_D.html
-rw-r--r-- root/admin    76615 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_module_E.html
-rw-r--r-- root/admin    19882 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_module_F.html
-rw-r--r-- root/admin    41424 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_module_G.html
-rw-r--r-- root/admin    58940 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_module_H.html
-rw-r--r-- root/admin    71347 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_module_I.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_module_J.html
-rw-r--r-- root/admin    46301 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_module_K.html
-rw-r--r-- root/admin    56729 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_module_L.html
-rw-r--r-- root/admin    90713 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_module_M.html
-rw-r--r-- root/admin   198189 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_module_N.html
-rw-r--r-- root/admin   118829 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_module_O.html
-rw-r--r-- root/admin   117986 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_module_P.html
-rw-r--r-- root/admin    47881 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_module_Q.html
-rw-r--r-- root/admin    49091 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_module_R.html
-rw-r--r-- root/admin    50310 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_module_S.html
-rw-r--r-- root/admin    59952 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_module_T.html
-rw-r--r-- root/admin   114950 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_module_U.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_module_V.html
-rw-r--r-- root/admin   103755 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_module_W.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_module_X.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_module_Y.html
-rw-r--r-- root/admin   143644 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_module_Z.html
-rw-r--r-- root/admin    86395 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_notation_*.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_notation__.html
-rw-r--r-- root/admin    21022 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_notation_A.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_notation_B.html
-rw-r--r-- root/admin    21074 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_notation_C.html
-rw-r--r-- root/admin    49912 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_notation_D.html
-rw-r--r-- root/admin    18396 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_notation_E.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_notation_F.html
-rw-r--r-- root/admin    18729 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_notation_G.html
-rw-r--r-- root/admin    18267 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_notation_H.html
-rw-r--r-- root/admin    43444 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_notation_I.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_notation_J.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_notation_K.html
-rw-r--r-- root/admin    19566 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_notation_L.html
-rw-r--r-- root/admin    47324 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_notation_M.html
-rw-r--r-- root/admin    42923 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_notation_N.html
-rw-r--r-- root/admin    19566 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_notation_O.html
-rw-r--r-- root/admin    20435 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_notation_P.html
-rw-r--r-- root/admin    20823 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_notation_Q.html
-rw-r--r-- root/admin    18746 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_notation_R.html
-rw-r--r-- root/admin    20785 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_notation_S.html
-rw-r--r-- root/admin    19519 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_notation_T.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_notation_U.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_notation_V.html
-rw-r--r-- root/admin    20117 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_notation_W.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_notation_X.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_notation_Y.html
-rw-r--r-- root/admin    46031 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_notation_Z.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_projection_*.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_projection__.html
-rw-r--r-- root/admin    67049 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_projection_A.html
-rw-r--r-- root/admin    18526 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_projection_B.html
-rw-r--r-- root/admin    51720 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_projection_C.html
-rw-r--r-- root/admin    50562 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_projection_D.html
-rw-r--r-- root/admin    56963 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_projection_E.html
-rw-r--r-- root/admin    43564 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_projection_F.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_projection_G.html
-rw-r--r-- root/admin    20998 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_projection_H.html
-rw-r--r-- root/admin    43777 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_projection_I.html
-rw-r--r-- root/admin    18412 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_projection_J.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_projection_K.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_projection_L.html
-rw-r--r-- root/admin    50938 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_projection_M.html
-rw-r--r-- root/admin    39898 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_projection_N.html
-rw-r--r-- root/admin    43895 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_projection_O.html
-rw-r--r-- root/admin    68108 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_projection_P.html
-rw-r--r-- root/admin    19106 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_projection_Q.html
-rw-r--r-- root/admin    78361 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_projection_R.html
-rw-r--r-- root/admin   266384 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_projection_S.html
-rw-r--r-- root/admin    57883 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_projection_T.html
-rw-r--r-- root/admin    19741 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_projection_U.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_projection_V.html
-rw-r--r-- root/admin    19774 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_projection_W.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_projection_X.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_projection_Y.html
-rw-r--r-- root/admin   110878 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_projection_Z.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_record_*.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_record__.html
-rw-r--r-- root/admin    46602 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_record_A.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_record_B.html
-rw-r--r-- root/admin    41287 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_record_C.html
-rw-r--r-- root/admin    53803 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_record_D.html
-rw-r--r-- root/admin    40593 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_record_E.html
-rw-r--r-- root/admin    41317 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_record_F.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_record_G.html
-rw-r--r-- root/admin    20438 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_record_H.html
-rw-r--r-- root/admin    20358 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_record_I.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_record_J.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_record_K.html
-rw-r--r-- root/admin    18976 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_record_L.html
-rw-r--r-- root/admin    43243 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_record_M.html
-rw-r--r-- root/admin    41509 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_record_N.html
-rw-r--r-- root/admin    20875 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_record_O.html
-rw-r--r-- root/admin    51692 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_record_P.html
-rw-r--r-- root/admin    18419 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_record_Q.html
-rw-r--r-- root/admin    51565 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_record_R.html
-rw-r--r-- root/admin    65686 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_record_S.html
-rw-r--r-- root/admin    19622 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_record_T.html
-rw-r--r-- root/admin    19733 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_record_U.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_record_V.html
-rw-r--r-- root/admin    18670 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_record_W.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_record_X.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_record_Y.html
-rw-r--r-- root/admin    21128 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_record_Z.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_section_*.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_section__.html
-rw-r--r-- root/admin    55802 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_section_A.html
-rw-r--r-- root/admin    48572 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_section_B.html
-rw-r--r-- root/admin    88284 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_section_C.html
-rw-r--r-- root/admin    94904 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_section_D.html
-rw-r--r-- root/admin    67075 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_section_E.html
-rw-r--r-- root/admin    47749 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_section_F.html
-rw-r--r-- root/admin    41714 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_section_G.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_section_H.html
-rw-r--r-- root/admin    53474 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_section_I.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_section_J.html
-rw-r--r-- root/admin    20166 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_section_K.html
-rw-r--r-- root/admin    62423 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_section_L.html
-rw-r--r-- root/admin    82023 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_section_M.html
-rw-r--r-- root/admin    85622 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_section_N.html
-rw-r--r-- root/admin    55858 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_section_O.html
-rw-r--r-- root/admin   118333 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_section_P.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_section_Q.html
-rw-r--r-- root/admin    90802 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_section_R.html
-rw-r--r-- root/admin    89928 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_section_S.html
-rw-r--r-- root/admin    77674 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_section_T.html
-rw-r--r-- root/admin    40502 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_section_U.html
-rw-r--r-- root/admin    41824 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_section_V.html
-rw-r--r-- root/admin   116425 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_section_W.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_section_X.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_section_Y.html
-rw-r--r-- root/admin    57002 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_section_Z.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_variable_*.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_variable__.html
-rw-r--r-- root/admin   100016 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_variable_A.html
-rw-r--r-- root/admin    46787 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_variable_B.html
-rw-r--r-- root/admin   135228 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_variable_C.html
-rw-r--r-- root/admin   758059 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_variable_D.html
-rw-r--r-- root/admin    56101 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_variable_E.html
-rw-r--r-- root/admin    43645 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_variable_F.html
-rw-r--r-- root/admin    88454 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_variable_G.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_variable_H.html
-rw-r--r-- root/admin    56239 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_variable_I.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_variable_J.html
-rw-r--r-- root/admin    20264 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_variable_K.html
-rw-r--r-- root/admin    48366 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_variable_L.html
-rw-r--r-- root/admin   639748 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_variable_M.html
-rw-r--r-- root/admin   102301 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_variable_N.html
-rw-r--r-- root/admin    45293 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_variable_O.html
-rw-r--r-- root/admin   153364 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_variable_P.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_variable_Q.html
-rw-r--r-- root/admin    64590 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_variable_R.html
-rw-r--r-- root/admin   157699 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_variable_S.html
-rw-r--r-- root/admin   111100 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_variable_T.html
-rw-r--r-- root/admin    19962 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_variable_U.html
-rw-r--r-- root/admin    18571 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_variable_V.html
-rw-r--r-- root/admin   110082 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_variable_W.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_variable_X.html
-rw-r--r-- root/admin    18029 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_variable_Y.html
-rw-r--r-- root/admin   387304 2012-05-11 13:36 ./sw-buildworld/share/doc/coq/stdlib/html/index_variable_Z.html
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/share/emacs/
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/share/emacs/site-lisp/
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/share/emacs/site-lisp/coq/
-rw-r--r-- root/admin     8673 2012-05-11 13:36 ./sw-buildworld/share/emacs/site-lisp/coq/coq-db.el
-rw-r--r-- root/admin     4902 2012-05-11 13:36 ./sw-buildworld/share/emacs/site-lisp/coq/coq-font-lock.el
-rw-r--r-- root/admin    11606 2012-05-11 13:36 ./sw-buildworld/share/emacs/site-lisp/coq/coq-inferior.el
-rw-r--r-- root/admin    44413 2012-05-11 13:36 ./sw-buildworld/share/emacs/site-lisp/coq/coq-syntax.el
-rw-r--r-- root/admin     4804 2012-05-11 13:36 ./sw-buildworld/share/emacs/site-lisp/coq/coq.el
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/share/man/
drwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/share/man/man1/
-rw-r--r-- root/admin     3075 2012-05-11 13:36 ./sw-buildworld/share/man/man1/coq-tex.1
-rw-r--r-- root/admin      466 2012-05-11 13:36 ./sw-buildworld/share/man/man1/coq_makefile.1
-rw-r--r-- root/admin      802 2012-05-11 13:36 ./sw-buildworld/share/man/man1/coqc.1
-rw-r--r-- root/admin     1950 2012-05-11 13:36 ./sw-buildworld/share/man/man1/coqchk.1
-rw-r--r-- root/admin     3589 2012-05-11 13:36 ./sw-buildworld/share/man/man1/coqdep.1
-rw-r--r-- root/admin     4564 2012-05-11 13:36 ./sw-buildworld/share/man/man1/coqdoc.1
-rw-r--r-- root/admin     2622 2012-05-11 13:36 ./sw-buildworld/share/man/man1/coqide.1
-rw-r--r-- root/admin     2865 2012-05-11 13:36 ./sw-buildworld/share/man/man1/coqtop.1
-rw-r--r-- root/admin      389 2012-05-11 13:36 ./sw-buildworld/share/man/man1/coqtop.byte.1
-rw-r--r-- root/admin      392 2012-05-11 13:36 ./sw-buildworld/share/man/man1/coqtop.opt.1
-rw-r--r-- root/admin      592 2012-05-11 13:36 ./sw-buildworld/share/man/man1/coqwc.1
-rw-r--r-- root/admin     1182 2012-05-11 13:36 ./sw-buildworld/share/man/man1/gallina.1
lrwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/bin/coqchk -> coqchk.opt
lrwxr-xr-x root/admin        0 2012-05-11 13:36 ./sw-buildworld/bin/coqtop -> coqtop.opt