Skip to content

Commit

Permalink
Pull in Possibilities theory into export info to get theorem numberin…
Browse files Browse the repository at this point in the history 
…gs in the html rendering.
  • Loading branch information
@ekpyron
ekpyron committed May 9, 2024
1 parent 3ef65e5 commit 21cdd0a
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion ExportInfo.thy
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
theory ExportInfo
imports AOT_misc
imports AOT_misc AOT_Possibilities
begin

local_setup\<open>fn ctxt =>
Expand Down

0 comments on commit 21cdd0a

Please sign in to comment.