Tags

Tags give the ability to mark specific points in history as being important

1.0

a39d29d2 · compile with Coq 8.15 · Sep 06, 2022
```
Tonelli.1.0
```
Bochner.1.0

30b42da5 · FC: suppress _aux suffixes of (used) definitions, add prime suffix to... · Sep 21, 2021
```
CPP22 code, Sep 2021.
```
Tonelli.1.0

c72cd759 · incr_fun_seq hyp goes first. · Feb 08, 2022
```
ITP22 code Feb 2022.
```
LInt_p.1.0

e51d4943 · initial from another archive · Sep 07, 2021
```
JAR code june 2021
```