isabelle: src/ZF/Main.thy@9e66e8ed8237 (annotated)

5157 6e03de8ec2b4 as in HOL paulson parents: diff changeset	1
6e03de8ec2b4 as in HOL paulson parents: diff changeset	2	(*$Id$
6e03de8ec2b4 as in HOL paulson parents: diff changeset	3	theory Main includes everything*)
6e03de8ec2b4 as in HOL paulson parents: diff changeset	4
9570 e16e168984e1 installation of cancellation simprocs for the integers paulson parents: 9175 diff changeset	5	Main = Update + InfDatatype + List + EquivClass + IntArith
9175 6f8499d86d4f finally theory Bin (the integers) is included paulson parents: 5531 diff changeset	6