changeset 61227 | 19ee25fe9737 |
parent 61130 | 8e736ce4c6f4 |
child 62352 | 35a9e1cbb5b3 |
--- a/src/HOL/Codegenerator_Test/Candidates.thy Tue Sep 22 11:48:22 2015 +0200 +++ b/src/HOL/Codegenerator_Test/Candidates.thy Tue Sep 22 12:10:25 2015 +0200 @@ -8,6 +8,8 @@ Complex_Main "~~/src/HOL/Library/Library" "~~/src/HOL/Library/Sublist_Order" + "~~/src/HOL/Data_Structures/Tree_Map" + "~~/src/HOL/Data_Structures/Tree_Set" "~~/src/HOL/Number_Theory/Eratosthenes" "~~/src/HOL/ex/Records" begin