Commit 7561b20a authored by Raul Garcia-Castro's avatar Raul Garcia-Castro
Browse files

The file with the axioms is no longer needed.

parent ad337c1c
Loading
Loading
Loading
Loading
+0 −4652

File deleted.

Preview size limit exceeded, changes collapsed.