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 5 years diatchki
6 5 years diatchki
5 5 years diatchki
4 5 years diatchki
3 5 years diatchki
2 5 years diatchki
1 5 years diatchki