This repository has been archived on 2023-08-20. You can view files and clone it, but cannot push or open issues or pull requests.
vsc 316811d2cd user:goal_expand should be called before import
add extra apply_macros and apply stuff; fix unexisting definitions.
add forall/2 and ignore/1 to system stuff.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2237 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-05-15 13:41:48 +00:00
..
2008-03-13 14:38:02 +00:00
2008-02-12 17:03:59 +00:00
2008-02-12 17:03:59 +00:00
2008-02-12 17:03:59 +00:00
2008-02-12 17:03:59 +00:00