From 7dba866d6a42bafb39455d853ac6672cc91e0132 Mon Sep 17 00:00:00 2001 From: terru Date: Mon, 15 Jun 2026 23:57:03 +0200 Subject: simple clobbered-together implementation --- isabelle_new_embed.svg | 478 +++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 478 insertions(+) create mode 100644 isabelle_new_embed.svg (limited to 'isabelle_new_embed.svg') diff --git a/isabelle_new_embed.svg b/isabelle_new_embed.svg new file mode 100644 index 0000000..a03abf7 --- /dev/null +++ b/isabelle_new_embed.svg @@ -0,0 +1,478 @@ + + + + + + + + + + image/svg+xml + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +   + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + -- cgit v1.2.3