src/HOL/Library/Code_Prolog.thy
changeset 55447 aa41ecbdc205
parent 54489 03ff4d1e6784
child 58881 b9556a055632
--- a/src/HOL/Library/Code_Prolog.thy	Thu Feb 13 11:37:00 2014 +0100
+++ b/src/HOL/Library/Code_Prolog.thy	Thu Feb 13 11:54:14 2014 +0100
@@ -6,6 +6,7 @@
 
 theory Code_Prolog
 imports Main
+keywords "values_prolog" :: diag
 begin
 
 ML_file "~~/src/HOL/Tools/Predicate_Compile/code_prolog.ML"