Mentions légales du service
Skip to content
GitLab
Explore
Sign in
POTTIER Francois
menhir
Repository
menhir
src
coqBackend.ml
Find file
Blame
History
Permalink
Introduced [Lr1.fold_entry].
· c4f73c2c
POTTIER Francois
authored
Dec 08, 2014
Used it in three places in the table back-end and the code back-end.
c4f73c2c