forked from afp-mirror/Core_DOM
Fixed section comments.
This commit is contained in:
parent
2aa64dcace
commit
81729529da
|
@ -29,8 +29,8 @@
|
|||
|
||||
(* This file is automatically generated, please do not modify! *)
|
||||
|
||||
section\<open>Testing Core_DOM\<close>
|
||||
text\<open>This theory contains the test cases for Core_DOM.\<close>
|
||||
section\<open>Testing Document_adoptNode\<close>
|
||||
text\<open>This theory contains the test cases for Document_adoptNode.\<close>
|
||||
|
||||
theory Document_adoptNode
|
||||
imports
|
||||
|
|
|
@ -29,8 +29,8 @@
|
|||
|
||||
(* This file is automatically generated, please do not modify! *)
|
||||
|
||||
section\<open>Testing Core_DOM\<close>
|
||||
text\<open>This theory contains the test cases for Core_DOM.\<close>
|
||||
section\<open>Testing Document_getElementById\<close>
|
||||
text\<open>This theory contains the test cases for Document_getElementById.\<close>
|
||||
|
||||
theory Document_getElementById
|
||||
imports
|
||||
|
|
|
@ -29,8 +29,8 @@
|
|||
|
||||
(* This file is automatically generated, please do not modify! *)
|
||||
|
||||
section\<open>Testing Core_DOM\<close>
|
||||
text\<open>This theory contains the test cases for Core_DOM.\<close>
|
||||
section\<open>Testing Node_insertBefore\<close>
|
||||
text\<open>This theory contains the test cases for Node_insertBefore.\<close>
|
||||
|
||||
theory Node_insertBefore
|
||||
imports
|
||||
|
|
|
@ -29,8 +29,8 @@
|
|||
|
||||
(* This file is automatically generated, please do not modify! *)
|
||||
|
||||
section\<open>Testing Core_DOM\<close>
|
||||
text\<open>This theory contains the test cases for Core_DOM.\<close>
|
||||
section\<open>Testing Node_removeChild\<close>
|
||||
text\<open>This theory contains the test cases for Node_removeChild.\<close>
|
||||
|
||||
theory Node_removeChild
|
||||
imports
|
||||
|
|
Reference in New Issue