diff options
| author | Juan Marín Noguera <juan.marinn@um.es> | 2020-12-08 17:03:11 +0100 |
|---|---|---|
| committer | Juan Marín Noguera <juan.marinn@um.es> | 2020-12-08 17:03:11 +0100 |
| commit | e7f83e96e9b220f5431075ce17ae6c5fcf5c4aef (patch) | |
| tree | 547b6240da87714b8a98fb2885e5ea929fd843cf /logic/n3.lyx | |
| parent | e44ec6801edffd5acd0de48aeb85da7c77ef624c (diff) | |
Some patterns
Diffstat (limited to 'logic/n3.lyx')
0 files changed, 0 insertions, 0 deletions