src/HOL/ex/Multiquote.thy
changeset 10357 0d0cac129618
parent 9297 bafe45732b10
child 10834 a7897aebbffc
     1.1 --- a/src/HOL/ex/Multiquote.thy	Mon Oct 30 18:24:20 2000 +0100
     1.2 +++ b/src/HOL/ex/Multiquote.thy	Mon Oct 30 18:24:42 2000 +0100
     1.3 @@ -7,6 +7,8 @@
     1.4  generalized version of de-Bruijn representation.
     1.5  *)
     1.6  
     1.7 +header {* Multiple nested quotations and anti-quotations *}
     1.8 +
     1.9  theory Multiquote = Main:
    1.10  
    1.11  syntax