Change History for TypeNats/InductiveDefinitions

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