Move to examples/process-algebras

binghe · Feb 28, 2025 · de524d6 · de524d6
1 parent 88f21c3
commit de524d6
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 0 deletions.
diff --git a/.../formal-languages/pi-calculus/Holmakefile → .../process-algebras/pi-calculus/Holmakefile b/.../formal-languages/pi-calculus/Holmakefile → .../process-algebras/pi-calculus/Holmakefile
diff --git a/...s/pi-calculus/open_bisimulationScript.sml → ...s/pi-calculus/open_bisimulationScript.sml b/...s/pi-calculus/open_bisimulationScript.sml → ...s/pi-calculus/open_bisimulationScript.sml
diff --git a/...anguages/pi-calculus/pi_nominalScript.sml → ...algebras/pi-calculus/pi_nominalScript.sml b/...anguages/pi-calculus/pi_nominalScript.sml → ...algebras/pi-calculus/pi_nominalScript.sml