combinatory-logic: renaming modules.

sergei-romanenko · Jan 10, 2015 · 7d3bbf1 · 7d3bbf1
1 parent 4fe2fba
commit 7d3bbf1
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 0 deletions.
diff --git a/combinatory-logic/STCC-SK-Delay.agda → combinatory-logic/STCC-Delay-SK-norm.agda b/combinatory-logic/STCC-SK-Delay.agda → combinatory-logic/STCC-Delay-SK-norm.agda
diff --git a/combinatory-logic/STCC-SK.agda → combinatory-logic/STCC-SK-norm.agda b/combinatory-logic/STCC-SK.agda → combinatory-logic/STCC-SK-norm.agda
diff --git a/combinatory-logic/STCC-SystemT.agda → combinatory-logic/STCC-SystemT-norm.agda b/combinatory-logic/STCC-SystemT.agda → combinatory-logic/STCC-SystemT-norm.agda