Change History for TypeNats/InductiveDefinitions

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