Tuned document
authorchaieb
Fri Jul 06 16:09:27 2007 +0200 (2007-07-06)
changeset 236076a8fb529b542
parent 23606 60950b22dcbf
child 23608 e65e36dbe0d2
Tuned document
src/HOL/ex/Reflection.thy
     1.1 --- a/src/HOL/ex/Reflection.thy	Fri Jul 06 16:09:26 2007 +0200
     1.2 +++ b/src/HOL/ex/Reflection.thy	Fri Jul 06 16:09:27 2007 +0200
     1.3 @@ -17,7 +17,6 @@
     1.4    by (blast intro: ext)
     1.5  
     1.6  use "reflection.ML"
     1.7 -ML{* Reify_Data.get @{context}*}
     1.8  
     1.9  method_setup reify = {*
    1.10    fn src =>