diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
5,606 Commits 2 Branches 6 Tags 146 MiB
06cd0c7414
Commit Graph

3 Commits

Author SHA1 Message Date
Vitor Santos Costa
eed3eded82 remove some old SWI code (unused). 2010-08-06 22:48:54 +01:00
Vitor Santos Costa
fcbd2b34fe fix missing ! 2010-08-06 01:18:58 +01:00
Vitor Santos Costa
e4a76d7f1e add coinduction.yap code. 2010-08-06 00:58:11 +01:00