Change History for TypeNats/InductiveDefinitions

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