GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-09 03:02:50 -06:00
Code Issues Packages Projects Releases Wiki Activity
Files
454a52d9a23d3cd86980d80bed6c8d70acc8c4dc
gf-core/examples/systemS/Proof.gf
aarne 35daecebcd CS's system S
2005-12-20 14:20:42 +00:00

642 B
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink