Skip to content

Commit 07bcb1f

Browse files
committed
Remove plain text proofs
1 parent 97c8724 commit 07bcb1f

File tree

2 files changed

+0
-76
lines changed

2 files changed

+0
-76
lines changed

Urm/binary-unary-composition.txt

Lines changed: 0 additions & 48 deletions
This file was deleted.

Urm/cutland-theorem-3.1.txt

Lines changed: 0 additions & 28 deletions
This file was deleted.

0 commit comments

Comments
 (0)