Gerwin Klein 1a3cc23692 github: switch proofs to Isabelle2021-1 ... Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>		2022-05-18 13:31:26 +10:00
..
workflows	github: switch proofs to Isabelle2021-1	2022-05-18 13:31:26 +10:00