msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity
Files
7b52a4b1a1d33da2d6ad4ac66ce52af4e512a2db
gf-core/examples/logic/TheoryI.gf
aarne a36758f56e a logic library; fix in make mathematical
2006-11-26 17:14:20 +00:00

1.2 KiB
Raw Blame History

View Raw
View Git Blame Copy Permalink