Summary
- clarified theory name; tuned;
The file was added | src/HOL/ex/Peano_Axioms.thy |
The file was modified | src/HOL/ROOT (diff) |
The file was removed | src/HOL/ex/Abstract_NAT.thy |
The file was added | src/HOL/ex/Peano_Axioms.thy |
The file was modified | src/HOL/ROOT (diff) |
The file was removed | src/HOL/ex/Abstract_NAT.thy |