GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-26 03:08:55 -06:00
Code Issues Packages Projects Releases Wiki Activity
Files
952e51d8f70305b19f54f85f8c7feb9eb8475e44
gf-core/examples/systemS/proof.gfcm
aarne 25b3168437 CS's system S
2005-12-20 14:20:42 +00:00

22 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink