diff options
| author | Jakob Kaivo <jkk@ung.org> | 2022-03-27 21:03:39 -0400 |
|---|---|---|
| committer | Jakob Kaivo <jkk@ung.org> | 2022-03-27 21:03:39 -0400 |
| commit | 4af8886a4bb8963b15af3b3828d33152281bf9a3 (patch) | |
| tree | 74c08d05c2ad6928031e918bc4e643d473b4bc0d /miralib/ex/stack.m | |
| parent | 4fc923247e286f73ff873f5562a1d30f0316348f (diff) | |
remove unused functions normalise(), wff(), and norm1()
Diffstat (limited to 'miralib/ex/stack.m')
0 files changed, 0 insertions, 0 deletions