equal
deleted
inserted
replaced
6 *) |
6 *) |
7 theory Nominal2_Base |
7 theory Nominal2_Base |
8 imports Main |
8 imports Main |
9 "~~/src/HOL/Library/Infinite_Set" |
9 "~~/src/HOL/Library/Infinite_Set" |
10 "~~/src/HOL/Quotient_Examples/FSet" |
10 "~~/src/HOL/Quotient_Examples/FSet" |
|
11 keywords |
|
12 "atom_decl" "equivariance" :: thy_decl |
11 uses ("nominal_basics.ML") |
13 uses ("nominal_basics.ML") |
12 ("nominal_thmdecls.ML") |
14 ("nominal_thmdecls.ML") |
13 ("nominal_permeq.ML") |
15 ("nominal_permeq.ML") |
14 ("nominal_library.ML") |
16 ("nominal_library.ML") |
15 ("nominal_atoms.ML") |
17 ("nominal_atoms.ML") |