diff options
| author | Théo Zimmermann | 2020-05-14 10:50:44 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-05-14 10:50:44 +0200 |
| commit | fb2f3df0f0d2d4e4fcbcf091d337700df4007d37 (patch) | |
| tree | b3a975e04cf78aa6a719f18d9b054dbc673c3204 /doc/sphinx/language | |
| parent | 06c60c8a52aceb21d957768be9a62710f5cc5d96 (diff) | |
Create new file on Functions and Assumptions.
Diffstat (limited to 'doc/sphinx/language')
| -rw-r--r-- | doc/sphinx/language/core/assumptions.rst (renamed from doc/sphinx/language/gallina-specification-language.rst) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/doc/sphinx/language/gallina-specification-language.rst b/doc/sphinx/language/core/assumptions.rst index 9943e0aa76..9943e0aa76 100644 --- a/doc/sphinx/language/gallina-specification-language.rst +++ b/doc/sphinx/language/core/assumptions.rst |