Revert "Start drafting definition of SHA2-256"

This reverts commit d3b8279.
HOL-Theorem-Prover · Nov 27, 2024 · 764eb28 · 764eb28
1 parent d3b8279
commit 764eb28
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 132 deletions.
diff --git a/examples/Crypto/SHA-2/Holmakefile b/examples/Crypto/SHA-2/Holmakefile
diff --git a/examples/Crypto/SHA-2/sha2Script.sml b/examples/Crypto/SHA-2/sha2Script.sml