Change History for TypeNats/InductiveDefinitions

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