/[mojave]
ViewVC logotype

Revision 3058


Jump to revision: Previous Next
Author: jyh
Date: Sun Sep 10 20:41:19 2000 UTC (20 years, 10 months ago)
Changed paths: 104 (showing only 100; show all)
Log Message:
Last commit failed partway through...


Changed paths

Path Details
Directorymetaprl/theories/czf/czf_itt_rel.prla modified , text changed
Directorymetaprl/theories/czf/czf_itt_sall.ml modified , text changed
Directorymetaprl/theories/czf/czf_itt_sall.prla modified , text changed
Directorymetaprl/theories/czf/czf_itt_sep.ml modified , text changed
Directorymetaprl/theories/czf/czf_itt_sep.mli modified , text changed
Directorymetaprl/theories/czf/czf_itt_sep.prla modified , text changed
Directorymetaprl/theories/czf/czf_itt_set.ml modified , text changed
Directorymetaprl/theories/czf/czf_itt_set.mli modified , text changed
Directorymetaprl/theories/czf/czf_itt_set.prla modified , text changed
Directorymetaprl/theories/czf/czf_itt_set_ind.prla modified , text changed
Directorymetaprl/theories/czf/czf_itt_sexists.ml modified , text changed
Directorymetaprl/theories/czf/czf_itt_sexists.prla modified , text changed
Directorymetaprl/theories/czf/czf_itt_singleton.ml modified , text changed
Directorymetaprl/theories/czf/czf_itt_singleton.mli modified , text changed
Directorymetaprl/theories/czf/czf_itt_singleton.prla modified , text changed
Directorymetaprl/theories/czf/czf_itt_small.prlb deleted
Directorymetaprl/theories/czf/czf_itt_subset.ml modified , text changed
Directorymetaprl/theories/czf/czf_itt_subset.mli modified , text changed
Directorymetaprl/theories/czf/czf_itt_subset.prla modified , text changed
Directorymetaprl/theories/czf/czf_itt_theory.mlz added
Directorymetaprl/theories/czf/czf_itt_theory.prla added
Directorymetaprl/theories/czf/czf_itt_true.prla modified , text changed
Directorymetaprl/theories/czf/czf_itt_union.ml modified , text changed
Directorymetaprl/theories/czf/czf_itt_union.mli modified , text changed
Directorymetaprl/theories/czf/czf_itt_union.prla modified , text changed
Directorymetaprl/theories/itt/ modified , props changed
Directorymetaprl/theories/itt/.ispell_english added
Directorymetaprl/theories/itt/Makefile modified , text changed
Directorymetaprl/theories/itt/itt_atom.ml modified , text changed
Directorymetaprl/theories/itt/itt_bisect.ml modified , text changed
Directorymetaprl/theories/itt/itt_bisect.prla modified , text changed
Directorymetaprl/theories/itt/itt_bool.ml modified , text changed
Directorymetaprl/theories/itt/itt_bool.prla modified , text changed
Directorymetaprl/theories/itt/itt_bunion.ml modified , text changed
Directorymetaprl/theories/itt/itt_bunion.prla modified , text changed
Directorymetaprl/theories/itt/itt_collection.prla modified , text changed
Directorymetaprl/theories/itt/itt_comment.ml added
Directorymetaprl/theories/itt/itt_comment.mli added
Directorymetaprl/theories/itt/itt_decidable.ml modified , text changed
Directorymetaprl/theories/itt/itt_decidable.prla modified , text changed
Directorymetaprl/theories/itt/itt_derive.prla modified , text changed
Directorymetaprl/theories/itt/itt_dfun.ml modified , text changed
Directorymetaprl/theories/itt/itt_dfun.mli modified , text changed
Directorymetaprl/theories/itt/itt_dfun.prla modified , text changed
Directorymetaprl/theories/itt/itt_dprod.ml modified , text changed
Directorymetaprl/theories/itt/itt_dprod.mli modified , text changed
Directorymetaprl/theories/itt/itt_equal.ml modified , text changed
Directorymetaprl/theories/itt/itt_equal.prla modified , text changed
Directorymetaprl/theories/itt/itt_esquash.ml modified , text changed
Directorymetaprl/theories/itt/itt_esquash.prla modified , text changed
Directorymetaprl/theories/itt/itt_fset.prla modified , text changed
Directorymetaprl/theories/itt/itt_fun.ml modified , text changed
Directorymetaprl/theories/itt/itt_fun.mli modified , text changed
Directorymetaprl/theories/itt/itt_fun.prla modified , text changed
Directorymetaprl/theories/itt/itt_int.ml modified , text changed
Directorymetaprl/theories/itt/itt_isect.ml modified , text changed
Directorymetaprl/theories/itt/itt_isect.prla modified , text changed
Directorymetaprl/theories/itt/itt_list.ml modified , text changed
Directorymetaprl/theories/itt/itt_list.prla modified , text changed
Directorymetaprl/theories/itt/itt_list2.ml modified , text changed
Directorymetaprl/theories/itt/itt_list2.prla modified , text changed
Directorymetaprl/theories/itt/itt_logic.ml modified , text changed
Directorymetaprl/theories/itt/itt_logic.prla modified , text changed
Directorymetaprl/theories/itt/itt_prec.ml modified , text changed
Directorymetaprl/theories/itt/itt_prod.ml modified , text changed
Directorymetaprl/theories/itt/itt_prod.prla modified , text changed
Directorymetaprl/theories/itt/itt_prop_decide.prla modified , text changed
Directorymetaprl/theories/itt/itt_quotient.ml modified , text changed
Directorymetaprl/theories/itt/itt_rfun.ml modified , text changed
Directorymetaprl/theories/itt/itt_rfun.prla modified , text changed
Directorymetaprl/theories/itt/itt_set.ml modified , text changed
Directorymetaprl/theories/itt/itt_sort.prla modified , text changed
Directorymetaprl/theories/itt/itt_squash.ml modified , text changed
Directorymetaprl/theories/itt/itt_squash.mli modified , text changed
Directorymetaprl/theories/itt/itt_srec.ml modified , text changed
Directorymetaprl/theories/itt/itt_struct.ml modified , text changed
Directorymetaprl/theories/itt/itt_struct.prla modified , text changed
Directorymetaprl/theories/itt/itt_subtype.ml modified , text changed
Directorymetaprl/theories/itt/itt_theory.ml modified , text changed
Directorymetaprl/theories/itt/itt_tunion.ml modified , text changed
Directorymetaprl/theories/itt/itt_union.ml modified , text changed
Directorymetaprl/theories/itt/itt_unit.ml modified , text changed
Directorymetaprl/theories/itt/itt_void.ml modified , text changed
Directorymetaprl/theories/itt/itt_void.prla added
Directorymetaprl/theories/itt/itt_w.ml modified , text changed
Directorymetaprl/theories/itt/itt_well_founded.ml modified , text changed
Directorymetaprl/theories/itt/itt_well_founded.prla modified , text changed
Directorymetaprl/theories/ocaml/ocaml_expr_df.ml modified , text changed
Directorymetaprl/theories/tactic/.ispell_english added
Directorymetaprl/theories/tactic/Makefile modified , text changed
Directorymetaprl/theories/tactic/base_dform.ml added
Directorymetaprl/theories/tactic/base_dform.mli added
Directorymetaprl/theories/tactic/comment.ml added
Directorymetaprl/theories/tactic/comment.mli added
Directorymetaprl/theories/tactic/mptop.ml modified , text changed
Directorymetaprl/theories/tactic/mptop.mli modified , text changed
Directorymetaprl/theories/tactic/nuprl_font.ml modified , text changed
Directorymetaprl/theories/tactic/nuprl_font.mli modified , text changed
Directorymetaprl/theories/tactic/perv.ml modified , text changed
Directorymetaprl/theories/tactic/summary.ml added
[...]

  ViewVC Help
Powered by ViewVC 1.1.26