coq
forked from coq/coq
Star 1
Fork 0
Watch
coq test-suite modules
35 files
cumpoly.v
Demo.v
errors.v
fun_objects.v
grammar.v
include_application_transient.v
include_functor_alias.v
include_module_type.v
include_partial_application.v
ind.v
injection_discriminate_inversion.v
inline_declaration_alias.v
inline_parameter.v
inlining.v
mod_decl.v
modeq.v
modul.v
nested_mod_types.v
obj.v
objects.v
objects2.v
pliczek.v
plik.v
polymorphism.v
polymorphism2.v
Przyklad.v
pseudo_circular_with.v
resolver_prefix_marker.v
resolver.v
SeveralWith.v
sig.v
sub_objects.v
subtyping.v
Tescik.v
WithDefUBinders.v