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 845168 2012-05-11 13:36 ./sw-buildworld/bin/coqmktop 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/ drwxr-xr-x root/admin 0 2012-05-11 13:36 ./sw-buildworld/lib/coq/config/ -rw-r--r-- root/admin 1649 2012-05-11 13:36 ./sw-buildworld/lib/coq/config/coq_config.cmi -rw-r--r-- root/admin 3011 2012-05-11 13:36 ./sw-buildworld/lib/coq/config/coq_config.cmo -rw-r--r-- root/admin 224 2012-05-11 13:36 ./sw-buildworld/lib/coq/config/coq_config.cmx -rw-r--r-- root/admin 12816 2012-05-11 13:36 ./sw-buildworld/lib/coq/config/coq_config.o drwxr-xr-x root/admin 0 2012-05-11 13:36 ./sw-buildworld/lib/coq/interp/ -rw-r--r-- root/admin 4340 2012-05-11 13:36 ./sw-buildworld/lib/coq/interp/constrextern.cmi -rw-r--r-- root/admin 10504 2012-05-11 13:36 ./sw-buildworld/lib/coq/interp/constrintern.cmi -rw-r--r-- root/admin 6610 2012-05-11 13:36 ./sw-buildworld/lib/coq/interp/coqlib.cmi -rw-r--r-- root/admin 4355 2012-05-11 13:36 ./sw-buildworld/lib/coq/interp/dumpglob.cmi -rw-r--r-- root/admin 12316 2012-05-11 13:36 ./sw-buildworld/lib/coq/interp/genarg.cmi -rw-r--r-- root/admin 4732 2012-05-11 13:36 ./sw-buildworld/lib/coq/interp/implicit_quantifiers.cmi -rw-r--r-- root/admin 1124176 2012-05-11 13:36 ./sw-buildworld/lib/coq/interp/interp.a -rw-r--r-- root/admin 332252 2012-05-11 13:36 ./sw-buildworld/lib/coq/interp/interp.cma -rw-r--r-- root/admin 34811 2012-05-11 13:36 ./sw-buildworld/lib/coq/interp/interp.cmxa -rw-r--r-- root/admin 1970 2012-05-11 13:36 ./sw-buildworld/lib/coq/interp/modintern.cmi -rw-r--r-- root/admin 8579 2012-05-11 13:36 ./sw-buildworld/lib/coq/interp/notation.cmi -rw-r--r-- root/admin 1351 2012-05-11 13:36 ./sw-buildworld/lib/coq/interp/ppextend.cmi -rw-r--r-- root/admin 1699 2012-05-11 13:36 ./sw-buildworld/lib/coq/interp/reserve.cmi -rw-r--r-- root/admin 2215 2012-05-11 13:36 ./sw-buildworld/lib/coq/interp/smartlocate.cmi -rw-r--r-- root/admin 1836 2012-05-11 13:36 ./sw-buildworld/lib/coq/interp/syntax_def.cmi -rw-r--r-- root/admin 14932 2012-05-11 13:36 ./sw-buildworld/lib/coq/interp/topconstr.cmi drwxr-xr-x root/admin 0 2012-05-11 13:36 ./sw-buildworld/lib/coq/kernel/ -rw-r--r-- root/admin 4179 2012-05-11 13:36 ./sw-buildworld/lib/coq/kernel/cbytecodes.cmi -rw-r--r-- root/admin 2237 2012-05-11 13:36 ./sw-buildworld/lib/coq/kernel/cbytegen.cmi -rw-r--r-- root/admin 2413 2012-05-11 13:36 ./sw-buildworld/lib/coq/kernel/cemitcodes.cmi -rw-r--r-- root/admin 8491 2012-05-11 13:36 ./sw-buildworld/lib/coq/kernel/closure.cmi -rw-r--r-- root/admin 1086 2012-05-11 13:36 ./sw-buildworld/lib/coq/kernel/conv_oracle.cmi -rw-r--r-- root/admin 1831 2012-05-11 13:36 ./sw-buildworld/lib/coq/kernel/cooking.cmi -rw-r--r-- root/admin 3841 2012-05-11 13:36 ./sw-buildworld/lib/coq/kernel/copcodes.cmi -rw-r--r-- root/admin 1289 2012-05-11 13:36 ./sw-buildworld/lib/coq/kernel/csymtable.cmi -rw-r--r-- root/admin 5294 2012-05-11 13:36 ./sw-buildworld/lib/coq/kernel/declarations.cmi -rw-r--r-- root/admin 2466 2012-05-11 13:36 ./sw-buildworld/lib/coq/kernel/entries.cmi -rw-r--r-- root/admin 8927 2012-05-11 13:36 ./sw-buildworld/lib/coq/kernel/environ.cmi -rw-r--r-- root/admin 2241 2012-05-11 13:36 ./sw-buildworld/lib/coq/kernel/esubst.cmi -rw-r--r-- root/admin 1961 2012-05-11 13:36 ./sw-buildworld/lib/coq/kernel/indtypes.cmi -rw-r--r-- root/admin 5318 2012-05-11 13:36 ./sw-buildworld/lib/coq/kernel/inductive.cmi -rw-r--r-- root/admin 1296920 2012-05-11 13:36 ./sw-buildworld/lib/coq/kernel/kernel.a -rw-r--r-- root/admin 378142 2012-05-11 13:36 ./sw-buildworld/lib/coq/kernel/kernel.cma -rw-r--r-- root/admin 36795 2012-05-11 13:36 ./sw-buildworld/lib/coq/kernel/kernel.cmxa -rw-r--r-- root/admin 5205 2012-05-11 13:36 ./sw-buildworld/lib/coq/kernel/mod_subst.cmi -rw-r--r-- root/admin 2888 2012-05-11 13:36 ./sw-buildworld/lib/coq/kernel/mod_typing.cmi -rw-r--r-- root/admin 5185 2012-05-11 13:36 ./sw-buildworld/lib/coq/kernel/modops.cmi -rw-r--r-- root/admin 64965 2012-05-11 13:36 ./sw-buildworld/lib/coq/kernel/names.cmi -rw-r--r-- root/admin 3496 2012-05-11 13:36 ./sw-buildworld/lib/coq/kernel/pre_env.cmi -rw-r--r-- root/admin 4767 2012-05-11 13:36 ./sw-buildworld/lib/coq/kernel/reduction.cmi -rw-r--r-- root/admin 4666 2012-05-11 13:36 ./sw-buildworld/lib/coq/kernel/retroknowledge.cmi -rw-r--r-- root/admin 5587 2012-05-11 13:36 ./sw-buildworld/lib/coq/kernel/safe_typing.cmi -rw-r--r-- root/admin 2673 2012-05-11 13:36 ./sw-buildworld/lib/coq/kernel/sign.cmi -rw-r--r-- root/admin 1209 2012-05-11 13:36 ./sw-buildworld/lib/coq/kernel/subtyping.cmi -rw-r--r-- root/admin 19212 2012-05-11 13:36 ./sw-buildworld/lib/coq/kernel/term.cmi -rw-r--r-- root/admin 2603 2012-05-11 13:36 ./sw-buildworld/lib/coq/kernel/term_typing.cmi -rw-r--r-- root/admin 5892 2012-05-11 13:36 ./sw-buildworld/lib/coq/kernel/type_errors.cmi -rw-r--r-- root/admin 5409 2012-05-11 13:36 ./sw-buildworld/lib/coq/kernel/typeops.cmi -rw-r--r-- root/admin 2762 2012-05-11 13:36 ./sw-buildworld/lib/coq/kernel/univ.cmi -rw-r--r-- root/admin 1474 2012-05-11 13:36 ./sw-buildworld/lib/coq/kernel/vconv.cmi -rw-r--r-- root/admin 4881 2012-05-11 13:36 ./sw-buildworld/lib/coq/kernel/vm.cmi drwxr-xr-x root/admin 0 2012-05-11 13:36 ./sw-buildworld/lib/coq/lib/ -rw-r--r-- root/admin 1758 2012-05-11 13:36 ./sw-buildworld/lib/coq/lib/bigint.cmi -rw-r--r-- root/admin 779 2012-05-11 13:36 ./sw-buildworld/lib/coq/lib/bstack.cmi -rw-r--r-- root/admin 1580 2012-05-11 13:36 ./sw-buildworld/lib/coq/lib/compat.cmi -rw-r--r-- root/admin 7901 2012-05-11 13:36 ./sw-buildworld/lib/coq/lib/dnet.cmi -rw-r--r-- root/admin 331 2012-05-11 13:36 ./sw-buildworld/lib/coq/lib/dyn.cmi -rw-r--r-- root/admin 1779 2012-05-11 13:36 ./sw-buildworld/lib/coq/lib/edit.cmi -rw-r--r-- root/admin 500 2012-05-11 13:36 ./sw-buildworld/lib/coq/lib/envars.cmi -rw-r--r-- root/admin 752 2012-05-11 13:36 ./sw-buildworld/lib/coq/lib/explore.cmi -rw-r--r-- root/admin 3316 2012-05-11 13:36 ./sw-buildworld/lib/coq/lib/flags.cmi -rw-r--r-- root/admin 1387 2012-05-11 13:36 ./sw-buildworld/lib/coq/lib/fmap.cmi -rw-r--r-- root/admin 1700 2012-05-11 13:36 ./sw-buildworld/lib/coq/lib/fset.cmi -rw-r--r-- root/admin 1325 2012-05-11 13:36 ./sw-buildworld/lib/coq/lib/gmap.cmi -rw-r--r-- root/admin 1092 2012-05-11 13:36 ./sw-buildworld/lib/coq/lib/gmapl.cmi -rw-r--r-- root/admin 1708 2012-05-11 13:36 ./sw-buildworld/lib/coq/lib/gset.cmi -rw-r--r-- root/admin 2495 2012-05-11 13:36 ./sw-buildworld/lib/coq/lib/hashcons.cmi -rw-r--r-- root/admin 1291 2012-05-11 13:36 ./sw-buildworld/lib/coq/lib/heap.cmi -rw-r--r-- root/admin 1030952 2012-05-11 13:36 ./sw-buildworld/lib/coq/lib/lib.a -rw-r--r-- root/admin 243713 2012-05-11 13:36 ./sw-buildworld/lib/coq/lib/lib.cma -rw-r--r-- root/admin 12127 2012-05-11 13:36 ./sw-buildworld/lib/coq/lib/lib.cmxa -rw-r--r-- root/admin 2742 2012-05-11 13:36 ./sw-buildworld/lib/coq/lib/option.cmi -rw-r--r-- root/admin 4648 2012-05-11 13:36 ./sw-buildworld/lib/coq/lib/pp.cmi -rw-r--r-- root/admin 1841 2012-05-11 13:36 ./sw-buildworld/lib/coq/lib/pp_control.cmi -rw-r--r-- root/admin 2463 2012-05-11 13:36 ./sw-buildworld/lib/coq/lib/predicate.cmi -rw-r--r-- root/admin 2297 2012-05-11 13:36 ./sw-buildworld/lib/coq/lib/profile.cmi -rw-r--r-- root/admin 2146 2012-05-11 13:36 ./sw-buildworld/lib/coq/lib/rtree.cmi -rw-r--r-- root/admin 395 2012-05-11 13:36 ./sw-buildworld/lib/coq/lib/segmenttree.cmi -rw-r--r-- root/admin 3346 2012-05-11 13:36 ./sw-buildworld/lib/coq/lib/system.cmi -rw-r--r-- root/admin 1085 2012-05-11 13:36 ./sw-buildworld/lib/coq/lib/tlm.cmi -rw-r--r-- root/admin 1192 2012-05-11 13:36 ./sw-buildworld/lib/coq/lib/tries.cmi -rw-r--r-- root/admin 2386 2012-05-11 13:36 ./sw-buildworld/lib/coq/lib/unicodetable.cmi -rw-r--r-- root/admin 37372 2012-05-11 13:36 ./sw-buildworld/lib/coq/lib/util.cmi drwxr-xr-x root/admin 0 2012-05-11 13:36 ./sw-buildworld/lib/coq/library/ -rw-r--r-- root/admin 4522 2012-05-11 13:36 ./sw-buildworld/lib/coq/library/assumptions.cmi -rw-r--r-- root/admin 2322 2012-05-11 13:36 ./sw-buildworld/lib/coq/library/decl_kinds.cmi -rw-r--r-- root/admin 3343 2012-05-11 13:36 ./sw-buildworld/lib/coq/library/declare.cmi -rw-r--r-- root/admin 5222 2012-05-11 13:36 ./sw-buildworld/lib/coq/library/declaremods.cmi -rw-r--r-- root/admin 2238 2012-05-11 13:36 ./sw-buildworld/lib/coq/library/decls.cmi -rw-r--r-- root/admin 1358 2012-05-11 13:36 ./sw-buildworld/lib/coq/library/dischargedhypsmap.cmi -rw-r--r-- root/admin 5238 2012-05-11 13:36 ./sw-buildworld/lib/coq/library/global.cmi -rw-r--r-- root/admin 4348 2012-05-11 13:36 ./sw-buildworld/lib/coq/library/goptions.cmi -rw-r--r-- root/admin 1238 2012-05-11 13:36 ./sw-buildworld/lib/coq/library/heads.cmi -rw-r--r-- root/admin 6156 2012-05-11 13:36 ./sw-buildworld/lib/coq/library/impargs.cmi -rw-r--r-- root/admin 10116 2012-05-11 13:36 ./sw-buildworld/lib/coq/library/lib.cmi -rw-r--r-- root/admin 21605 2012-05-11 13:36 ./sw-buildworld/lib/coq/library/libnames.cmi -rw-r--r-- root/admin 2704 2012-05-11 13:36 ./sw-buildworld/lib/coq/library/libobject.cmi -rw-r--r-- root/admin 533200 2012-05-11 13:36 ./sw-buildworld/lib/coq/library/library.a -rw-r--r-- root/admin 151235 2012-05-11 13:36 ./sw-buildworld/lib/coq/library/library.cma -rw-r--r-- root/admin 3557 2012-05-11 13:36 ./sw-buildworld/lib/coq/library/library.cmi -rw-r--r-- root/admin 22350 2012-05-11 13:36 ./sw-buildworld/lib/coq/library/library.cmxa -rw-r--r-- root/admin 2979 2012-05-11 13:36 ./sw-buildworld/lib/coq/library/nameops.cmi -rw-r--r-- root/admin 5234 2012-05-11 13:36 ./sw-buildworld/lib/coq/library/nametab.cmi -rw-r--r-- root/admin 650 2012-05-11 13:36 ./sw-buildworld/lib/coq/library/states.cmi -rw-r--r-- root/admin 686 2012-05-11 13:36 ./sw-buildworld/lib/coq/library/summary.cmi drwxr-xr-x root/admin 0 2012-05-11 13:36 ./sw-buildworld/lib/coq/parsing/ -rw-r--r-- root/admin 3674 2012-05-11 13:36 ./sw-buildworld/lib/coq/parsing/egrammar.cmi -rw-r--r-- root/admin 1921 2012-05-11 13:36 ./sw-buildworld/lib/coq/parsing/extend.cmi -rw-r--r-- root/admin 3751 2012-05-11 13:36 ./sw-buildworld/lib/coq/parsing/extrawit.cmi -rw-r--r-- root/admin 3979 2012-05-11 13:36 ./sw-buildworld/lib/coq/parsing/g_constr.cmi -rw-r--r-- root/admin 1919 2012-05-11 13:36 ./sw-buildworld/lib/coq/parsing/g_decl_mode.cmi -rw-r--r-- root/admin 2390 2012-05-11 13:36 ./sw-buildworld/lib/coq/parsing/g_ltac.cmi -rw-r--r-- root/admin 2231 2012-05-11 13:36 ./sw-buildworld/lib/coq/parsing/g_prim.cmi -rw-r--r-- root/admin 2761 2012-05-11 13:36 ./sw-buildworld/lib/coq/parsing/g_proofs.cmi -rw-r--r-- root/admin 4995 2012-05-11 13:36 ./sw-buildworld/lib/coq/parsing/g_tactic.cmi -rw-r--r-- root/admin 4597 2012-05-11 13:36 ./sw-buildworld/lib/coq/parsing/g_vernac.cmi -rw-r--r-- root/admin 8162 2012-05-11 13:36 ./sw-buildworld/lib/coq/parsing/g_xml.cmi -rw-r--r-- root/admin 1143208 2012-05-11 13:36 ./sw-buildworld/lib/coq/parsing/grammar.cma -rw-r--r-- root/admin 1014480 2012-05-11 13:36 ./sw-buildworld/lib/coq/parsing/highparsing.a -rw-r--r-- root/admin 246494 2012-05-11 13:36 ./sw-buildworld/lib/coq/parsing/highparsing.cma -rw-r--r-- root/admin 16084 2012-05-11 13:36 ./sw-buildworld/lib/coq/parsing/highparsing.cmxa -rw-r--r-- root/admin 1972 2012-05-11 13:36 ./sw-buildworld/lib/coq/parsing/lexer.cmi -rw-r--r-- root/admin 837080 2012-05-11 13:36 ./sw-buildworld/lib/coq/parsing/parsing.a -rw-r--r-- root/admin 267909 2012-05-11 13:36 ./sw-buildworld/lib/coq/parsing/parsing.cma -rw-r--r-- root/admin 27869 2012-05-11 13:36 ./sw-buildworld/lib/coq/parsing/parsing.cmxa -rw-r--r-- root/admin 13557 2012-05-11 13:36 ./sw-buildworld/lib/coq/parsing/pcoq.cmi -rw-r--r-- root/admin 6095 2012-05-11 13:36 ./sw-buildworld/lib/coq/parsing/ppconstr.cmi -rw-r--r-- root/admin 1765 2012-05-11 13:36 ./sw-buildworld/lib/coq/parsing/ppdecl_proof.cmi -rw-r--r-- root/admin 7383 2012-05-11 13:36 ./sw-buildworld/lib/coq/parsing/pptactic.cmi -rw-r--r-- root/admin 2283 2012-05-11 13:36 ./sw-buildworld/lib/coq/parsing/ppvernac.cmi -rw-r--r-- root/admin 6538 2012-05-11 13:36 ./sw-buildworld/lib/coq/parsing/prettyp.cmi -rw-r--r-- root/admin 8813 2012-05-11 13:36 ./sw-buildworld/lib/coq/parsing/printer.cmi -rw-r--r-- root/admin 660 2012-05-11 13:36 ./sw-buildworld/lib/coq/parsing/printmod.cmi -rw-r--r-- root/admin 2430 2012-05-11 13:36 ./sw-buildworld/lib/coq/parsing/tactic_printer.cmi drwxr-xr-x root/admin 0 2012-05-11 13:36 ./sw-buildworld/lib/coq/pretyping/ -rw-r--r-- root/admin 4801 2012-05-11 13:36 ./sw-buildworld/lib/coq/pretyping/cases.cmi -rw-r--r-- root/admin 3446 2012-05-11 13:36 ./sw-buildworld/lib/coq/pretyping/cbv.cmi -rw-r--r-- root/admin 4833 2012-05-11 13:36 ./sw-buildworld/lib/coq/pretyping/classops.cmi -rw-r--r-- root/admin 6530 2012-05-11 13:36 ./sw-buildworld/lib/coq/pretyping/clenv.cmi -rw-r--r-- root/admin 3202 2012-05-11 13:36 ./sw-buildworld/lib/coq/pretyping/coercion.cmi -rw-r--r-- root/admin 4133 2012-05-11 13:36 ./sw-buildworld/lib/coq/pretyping/detyping.cmi -rw-r--r-- root/admin 3235 2012-05-11 13:36 ./sw-buildworld/lib/coq/pretyping/evarconv.cmi -rw-r--r-- root/admin 10617 2012-05-11 13:36 ./sw-buildworld/lib/coq/pretyping/evarutil.cmi -rw-r--r-- root/admin 19448 2012-05-11 13:36 ./sw-buildworld/lib/coq/pretyping/evd.cmi -rw-r--r-- root/admin 3093 2012-05-11 13:36 ./sw-buildworld/lib/coq/pretyping/indrec.cmi -rw-r--r-- root/admin 8487 2012-05-11 13:36 ./sw-buildworld/lib/coq/pretyping/inductiveops.cmi -rw-r--r-- root/admin 2988 2012-05-11 13:36 ./sw-buildworld/lib/coq/pretyping/matching.cmi -rw-r--r-- root/admin 5366 2012-05-11 13:36 ./sw-buildworld/lib/coq/pretyping/namegen.cmi -rw-r--r-- root/admin 3665 2012-05-11 13:36 ./sw-buildworld/lib/coq/pretyping/pattern.cmi -rw-r--r-- root/admin 8139 2012-05-11 13:36 ./sw-buildworld/lib/coq/pretyping/pretype_errors.cmi -rw-r--r-- root/admin 1909280 2012-05-11 13:36 ./sw-buildworld/lib/coq/pretyping/pretyping.a -rw-r--r-- root/admin 545975 2012-05-11 13:36 ./sw-buildworld/lib/coq/pretyping/pretyping.cma -rw-r--r-- root/admin 5378 2012-05-11 13:36 ./sw-buildworld/lib/coq/pretyping/pretyping.cmi -rw-r--r-- root/admin 57390 2012-05-11 13:36 ./sw-buildworld/lib/coq/pretyping/pretyping.cmxa -rw-r--r-- root/admin 7600 2012-05-11 13:36 ./sw-buildworld/lib/coq/pretyping/rawterm.cmi -rw-r--r-- root/admin 3749 2012-05-11 13:36 ./sw-buildworld/lib/coq/pretyping/recordops.cmi -rw-r--r-- root/admin 13605 2012-05-11 13:36 ./sw-buildworld/lib/coq/pretyping/reductionops.cmi -rw-r--r-- root/admin 2573 2012-05-11 13:36 ./sw-buildworld/lib/coq/pretyping/retyping.cmi -rw-r--r-- root/admin 4094 2012-05-11 13:36 ./sw-buildworld/lib/coq/pretyping/tacred.cmi -rw-r--r-- root/admin 3917 2012-05-11 13:36 ./sw-buildworld/lib/coq/pretyping/term_dnet.cmi -rw-r--r-- root/admin 15582 2012-05-11 13:36 ./sw-buildworld/lib/coq/pretyping/termops.cmi -rw-r--r-- root/admin 5234 2012-05-11 13:36 ./sw-buildworld/lib/coq/pretyping/typeclasses.cmi -rw-r--r-- root/admin 2961 2012-05-11 13:36 ./sw-buildworld/lib/coq/pretyping/typeclasses_errors.cmi -rw-r--r-- root/admin 1896 2012-05-11 13:36 ./sw-buildworld/lib/coq/pretyping/typing.cmi -rw-r--r-- root/admin 3042 2012-05-11 13:36 ./sw-buildworld/lib/coq/pretyping/unification.cmi -rw-r--r-- root/admin 1242 2012-05-11 13:36 ./sw-buildworld/lib/coq/pretyping/vnorm.cmi drwxr-xr-x root/admin 0 2012-05-11 13:36 ./sw-buildworld/lib/coq/proofs/ -rw-r--r-- root/admin 2776 2012-05-11 13:36 ./sw-buildworld/lib/coq/proofs/clenvtac.cmi -rw-r--r-- root/admin 4015 2012-05-11 13:36 ./sw-buildworld/lib/coq/proofs/decl_mode.cmi -rw-r--r-- root/admin 2275 2012-05-11 13:36 ./sw-buildworld/lib/coq/proofs/evar_refiner.cmi -rw-r--r-- root/admin 2858 2012-05-11 13:36 ./sw-buildworld/lib/coq/proofs/logic.cmi -rw-r--r-- root/admin 6216 2012-05-11 13:36 ./sw-buildworld/lib/coq/proofs/pfedit.cmi -rw-r--r-- root/admin 3163 2012-05-11 13:36 ./sw-buildworld/lib/coq/proofs/proof_trees.cmi -rw-r--r-- root/admin 4872 2012-05-11 13:36 ./sw-buildworld/lib/coq/proofs/proof_type.cmi -rw-r--r-- root/admin 370016 2012-05-11 13:36 ./sw-buildworld/lib/coq/proofs/proofs.a -rw-r--r-- root/admin 118756 2012-05-11 13:36 ./sw-buildworld/lib/coq/proofs/proofs.cma -rw-r--r-- root/admin 27354 2012-05-11 13:36 ./sw-buildworld/lib/coq/proofs/proofs.cmxa -rw-r--r-- root/admin 2346 2012-05-11 13:36 ./sw-buildworld/lib/coq/proofs/redexpr.cmi -rw-r--r-- root/admin 13394 2012-05-11 13:36 ./sw-buildworld/lib/coq/proofs/refiner.cmi -rw-r--r-- root/admin 15164 2012-05-11 13:36 ./sw-buildworld/lib/coq/proofs/tacexpr.cmi -rw-r--r-- root/admin 14358 2012-05-11 13:36 ./sw-buildworld/lib/coq/proofs/tacmach.cmi -rw-r--r-- root/admin 4061 2012-05-11 13:36 ./sw-buildworld/lib/coq/proofs/tactic_debug.cmi drwxr-xr-x root/admin 0 2012-05-11 13:36 ./sw-buildworld/lib/coq/tactics/ -rw-r--r-- root/admin 11238 2012-05-11 13:36 ./sw-buildworld/lib/coq/tactics/auto.cmi -rw-r--r-- root/admin 4564 2012-05-11 13:36 ./sw-buildworld/lib/coq/tactics/autorewrite.cmi -rw-r--r-- root/admin 2277 2012-05-11 13:36 ./sw-buildworld/lib/coq/tactics/btermdn.cmi -rw-r--r-- root/admin 20251 2012-05-11 13:36 ./sw-buildworld/lib/coq/tactics/class_tactics.cmi -rw-r--r-- root/admin 1879 2012-05-11 13:36 ./sw-buildworld/lib/coq/tactics/contradiction.cmi -rw-r--r-- root/admin 2576 2012-05-11 13:36 ./sw-buildworld/lib/coq/tactics/decl_interp.cmi -rw-r--r-- root/admin 8993 2012-05-11 13:36 ./sw-buildworld/lib/coq/tactics/decl_proof_instr.cmi -rw-r--r-- root/admin 2735 2012-05-11 13:36 ./sw-buildworld/lib/coq/tactics/dhyp.cmi -rw-r--r-- root/admin 1449 2012-05-11 13:36 ./sw-buildworld/lib/coq/tactics/dn.cmi -rw-r--r-- root/admin 3549 2012-05-11 13:36 ./sw-buildworld/lib/coq/tactics/eauto.cmi -rw-r--r-- root/admin 3392 2012-05-11 13:36 ./sw-buildworld/lib/coq/tactics/elim.cmi -rw-r--r-- root/admin 2375 2012-05-11 13:36 ./sw-buildworld/lib/coq/tactics/elimschemes.cmi -rw-r--r-- root/admin 5256 2012-05-11 13:36 ./sw-buildworld/lib/coq/tactics/eqdecide.cmi -rw-r--r-- root/admin 3215 2012-05-11 13:36 ./sw-buildworld/lib/coq/tactics/eqschemes.cmi -rw-r--r-- root/admin 10516 2012-05-11 13:36 ./sw-buildworld/lib/coq/tactics/equality.cmi -rw-r--r-- root/admin 2621 2012-05-11 13:36 ./sw-buildworld/lib/coq/tactics/evar_tactics.cmi -rw-r--r-- root/admin 5137 2012-05-11 13:36 ./sw-buildworld/lib/coq/tactics/extraargs.cmi -rw-r--r-- root/admin 2097 2012-05-11 13:36 ./sw-buildworld/lib/coq/tactics/extratactics.cmi -rw-r--r-- root/admin 9262 2012-05-11 13:36 ./sw-buildworld/lib/coq/tactics/hiddentac.cmi -rw-r--r-- root/admin 1501432 2012-05-11 13:36 ./sw-buildworld/lib/coq/tactics/hightactics.a -rw-r--r-- root/admin 456745 2012-05-11 13:36 ./sw-buildworld/lib/coq/tactics/hightactics.cma -rw-r--r-- root/admin 31436 2012-05-11 13:36 ./sw-buildworld/lib/coq/tactics/hightactics.cmxa -rw-r--r-- root/admin 6442 2012-05-11 13:36 ./sw-buildworld/lib/coq/tactics/hipattern.cmi -rw-r--r-- root/admin 3487 2012-05-11 13:36 ./sw-buildworld/lib/coq/tactics/inv.cmi -rw-r--r-- root/admin 2683 2012-05-11 13:36 ./sw-buildworld/lib/coq/tactics/leminv.cmi -rw-r--r-- root/admin 3095 2012-05-11 13:36 ./sw-buildworld/lib/coq/tactics/nbtermdn.cmi -rw-r--r-- root/admin 1902 2012-05-11 13:36 ./sw-buildworld/lib/coq/tactics/refine.cmi -rw-r--r-- root/admin 33307 2012-05-11 13:36 ./sw-buildworld/lib/coq/tactics/rewrite.cmi -rw-r--r-- root/admin 10176 2012-05-11 13:36 ./sw-buildworld/lib/coq/tactics/tacinterp.cmi -rw-r--r-- root/admin 2262 2012-05-11 13:36 ./sw-buildworld/lib/coq/tactics/tactic_option.cmi -rw-r--r-- root/admin 14227 2012-05-11 13:36 ./sw-buildworld/lib/coq/tactics/tacticals.cmi -rw-r--r-- root/admin 2038560 2012-05-11 13:36 ./sw-buildworld/lib/coq/tactics/tactics.a -rw-r--r-- root/admin 577626 2012-05-11 13:36 ./sw-buildworld/lib/coq/tactics/tactics.cma -rw-r--r-- root/admin 22513 2012-05-11 13:36 ./sw-buildworld/lib/coq/tactics/tactics.cmi -rw-r--r-- root/admin 69084 2012-05-11 13:36 ./sw-buildworld/lib/coq/tactics/tactics.cmxa -rw-r--r-- root/admin 7620 2012-05-11 13:36 ./sw-buildworld/lib/coq/tactics/tauto.cmi -rw-r--r-- root/admin 2924 2012-05-11 13:36 ./sw-buildworld/lib/coq/tactics/termdn.cmi drwxr-xr-x root/admin 0 2012-05-11 13:36 ./sw-buildworld/lib/coq/toplevel/ -rw-r--r-- root/admin 2864 2012-05-11 13:36 ./sw-buildworld/lib/coq/toplevel/auto_ind_decl.cmi -rw-r--r-- root/admin 1977 2012-05-11 13:36 ./sw-buildworld/lib/coq/toplevel/autoinstance.cmi -rw-r--r-- root/admin 1197 2012-05-11 13:36 ./sw-buildworld/lib/coq/toplevel/cerrors.cmi -rw-r--r-- root/admin 2819 2012-05-11 13:36 ./sw-buildworld/lib/coq/toplevel/class.cmi -rw-r--r-- root/admin 4026 2012-05-11 13:36 ./sw-buildworld/lib/coq/toplevel/classes.cmi -rw-r--r-- root/admin 8659 2012-05-11 13:36 ./sw-buildworld/lib/coq/toplevel/command.cmi -rw-r--r-- root/admin 1105 2012-05-11 13:36 ./sw-buildworld/lib/coq/toplevel/coqinit.cmi -rw-r--r-- root/admin 291 2012-05-11 13:36 ./sw-buildworld/lib/coq/toplevel/coqtop.cmi -rw-r--r-- root/admin 1310 2012-05-11 13:36 ./sw-buildworld/lib/coq/toplevel/discharge.cmi -rw-r--r-- root/admin 3308 2012-05-11 13:36 ./sw-buildworld/lib/coq/toplevel/himsg.cmi -rw-r--r-- root/admin 2732 2012-05-11 13:36 ./sw-buildworld/lib/coq/toplevel/ind_tables.cmi -rw-r--r-- root/admin 3177 2012-05-11 13:36 ./sw-buildworld/lib/coq/toplevel/indschemes.cmi -rw-r--r-- root/admin 4061 2012-05-11 13:36 ./sw-buildworld/lib/coq/toplevel/lemmas.cmi -rw-r--r-- root/admin 1783 2012-05-11 13:36 ./sw-buildworld/lib/coq/toplevel/libtypes.cmi -rw-r--r-- root/admin 3945 2012-05-11 13:36 ./sw-buildworld/lib/coq/toplevel/metasyntax.cmi -rw-r--r-- root/admin 3919 2012-05-11 13:36 ./sw-buildworld/lib/coq/toplevel/mltop.cmi -rw-r--r-- root/admin 3508 2012-05-11 13:36 ./sw-buildworld/lib/coq/toplevel/record.cmi -rw-r--r-- root/admin 4396 2012-05-11 13:36 ./sw-buildworld/lib/coq/toplevel/search.cmi -rw-r--r-- root/admin 1531480 2012-05-11 13:36 ./sw-buildworld/lib/coq/toplevel/toplevel.a -rw-r--r-- root/admin 511197 2012-05-11 13:36 ./sw-buildworld/lib/coq/toplevel/toplevel.cma -rw-r--r-- root/admin 2411 2012-05-11 13:36 ./sw-buildworld/lib/coq/toplevel/toplevel.cmi -rw-r--r-- root/admin 74127 2012-05-11 13:36 ./sw-buildworld/lib/coq/toplevel/toplevel.cmxa -rw-r--r-- root/admin 463 2012-05-11 13:36 ./sw-buildworld/lib/coq/toplevel/usage.cmi -rw-r--r-- root/admin 2889 2012-05-11 13:36 ./sw-buildworld/lib/coq/toplevel/vernac.cmi -rw-r--r-- root/admin 3545 2012-05-11 13:36 ./sw-buildworld/lib/coq/toplevel/vernacentries.cmi -rw-r--r-- root/admin 18639 2012-05-11 13:36 ./sw-buildworld/lib/coq/toplevel/vernacexpr.cmi -rw-r--r-- root/admin 2195 2012-05-11 13:36 ./sw-buildworld/lib/coq/toplevel/vernacinterp.cmi -rw-r--r-- root/admin 1603 2012-05-11 13:36 ./sw-buildworld/lib/coq/toplevel/whelp.cmi 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/man/ drwxr-xr-x root/admin 0 2012-05-11 13:36 ./sw-buildworld/share/man/man1/ -rw-r--r-- root/admin 1183 2012-05-11 13:36 ./sw-buildworld/share/man/man1/coqmktop.1