diff options
author | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-10-31 14:51:53 +0100 |
---|---|---|
committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-10-31 15:02:22 +0100 |
commit | d562d0e0ef9aab9d3f7333aec39172ed37d4d5ae (patch) | |
tree | 7cd62db171f5ec708aefebdc6e25555d9fe60a32 /engine/universes.mli | |
parent | a6a7806a91275a3f509a920ee2e56f0f354a8e6c (diff) |
Code factorization in Universes.
Diffstat (limited to 'engine/universes.mli')
0 files changed, 0 insertions, 0 deletions