Change History for TypeNats/InductiveDefinitions

Version Date Author Comment
15 8 years diatchki
14 8 years diatchki
13 8 years diatchki
12 8 years diatchki
11 8 years diatchki
10 8 years diatchki
9 8 years diatchki
8 8 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