Change History for TypeNats/InductiveDefinitions

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