Change History for TypeNats/InductiveDefinitions

Version Date Author Comment
15 3 years diatchki
14 3 years diatchki
13 3 years diatchki
12 3 years diatchki
11 3 years diatchki
10 3 years diatchki
9 3 years diatchki
8 3 years diatchki
7 5 years diatchki
6 5 years diatchki
5 5 years diatchki
4 5 years diatchki
3 5 years diatchki
2 5 years diatchki
1 5 years diatchki