package info
(click to toggle)
Folder: lyp
 |
.. (parent) | |||
 |
- | rw-r--r-- | 583 | Makefile |
|
- | rw-r--r-- | 13,756,936 | grundlagen_2b_lyp.elpi |
|
- | rw-r--r-- | 332 | lyp_engine.elpi |
|
- | rw-r--r-- | 851 | lyp_global.elpi |
|
- | rw-r--r-- | 7,927 | lyp_machine.elpi |
|
- | rw-r--r-- | 443 | lyp_trace.elpi |
|
- | rw-r--r-- | 225 | reductions.txt |
|
- | rw-r--r-- | 648 | test_31_1.txt |
|
- | rw-r--r-- | 599 | test_31_2.txt |
|
- | rw-r--r-- | 662 | test_31_3.txt |