Revert "Started tripleCut.", only mistake in crypto.sml

This reverts commit 142b63e0b9d91b7ef00eb9394a15f01d2aa1e41e.

Conflicts:

	analys.tex

Made a stupid change that introduced a bug in function tripleCut in
crypto.sml as I was writing the analasys of tripleCut in analys.tex

reverted the mistake in crypto.sml