merge

forked from afp-mirror/Core_DOM
Updated session name.
2019-02-20 15:45:11 +00:00 · 2019-02-20 13:28:17 +00:00
1 changed files with 1 additions and 1 deletions
--- a/Core_DOM/ROOT
+++ b/Core_DOM/ROOT
@ -1,6 +1,6 @@
 chapter AFP

-session "Core_DOM" = "HOL-Library" +
+session "Core_DOM" (AFP) = "HOL-Library" + 
  options [timeout = 600] 
  theories
    Core_DOM
Author	SHA1	Message	Date
Achim D. Brucker	874251f8c1	merge	2019-02-20 15:45:11 +00:00
Achim D. Brucker	c8feb64de9	Updated session name.	2019-02-20 13:28:17 +00:00