index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
toplevel
/
coqtop_opt_bin.ml
blob: 410b4679ae257c11293a60ecbafd07e000eee46e (
plain
)
1
2
3
let
drop_setup
()
=
Mltop
.
remove
()
let
_
=
drop_setup
()
