Change History for TypeNats/InductiveDefinitions

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