lib: session structure update for LibTest + Isabelle2020

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>
2020-03-29 15:33:51 +08:00 · 2020-03-29 15:33:51 +08:00 · 8b57961bfd
parent 68b71f99b5
commit 8b57961bfd
4 changed files with 2 additions and 2 deletions
--- a/lib/test/AutoLevity_Test.thy
+++ b/lib/test/AutoLevity_Test.thy
--- a/lib/test/Crunch_Test_Trace.thy
+++ b/lib/test/Crunch_Test_Trace.thy
@ -4,7 +4,7 @@
 * SPDX-License-Identifier: BSD-2-Clause
 *)

-theory Crunch_Test_Trace (* FIXME: not tested *)
+theory Crunch_Test_Trace
 imports
  Lib.Crunch_Instances_Trace
  Crunch_Test_Qualified_Trace
--- a/lib/test/Locale_Abbrev_Test.thy
+++ b/lib/test/Locale_Abbrev_Test.thy
@ -5,7 +5,7 @@
 *)

 theory Locale_Abbrev_Test
- imports Locale_Abbrev
+ imports Lib.Locale_Abbrev
 begin

 section \<open>Examples for @{command locale_abbrev}/@{command revert_abbrev}\<close>
--- a/lib/test/Qualify_Test.thy
+++ b/lib/test/Qualify_Test.thy