Tuned.
ci/woodpecker/push/build Pipeline was successful
Details
ci/woodpecker/push/build Pipeline was successful
Details
This commit is contained in:
parent
6d6327a000
commit
7149ba4cf1
|
@ -28,7 +28,7 @@
|
||||||
* Dependencies: None
|
* Dependencies: None
|
||||||
***********************************************************************************)
|
***********************************************************************************)
|
||||||
|
|
||||||
chapter\<open>Code Reflection for \<close>
|
chapter\<open>Code Reflection for Isabelle\<close>
|
||||||
theory
|
theory
|
||||||
"Code_Reflection"
|
"Code_Reflection"
|
||||||
imports
|
imports
|
||||||
|
|
Loading…
Reference in New Issue