author | haftmann |
Tue, 22 Sep 2015 12:10:25 +0200 | |
changeset 61227 | 19ee25fe9737 |
parent 61226 | af7bed1360f3 |
child 61228 | e602ad539155 |
--- 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