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-26 14:37:08 +00:00
2008-03-26 14:41:45 +00:00
2008-03-25 22:03:14 +00:00
2008-03-25 22:03:14 +00:00
2006-08-22 16:12:46 +00:00
2008-01-23 17:57:56 +00:00
2007-11-06 17:02:13 +00:00
2004-06-05 03:37:01 +00:00
2005-11-23 03:01:33 +00:00
2008-03-25 22:03:14 +00:00
2008-03-25 22:03:14 +00:00
2008-05-10 23:24:13 +00:00
2008-03-26 14:37:08 +00:00
2007-05-02 11:01:41 +00:00
2008-03-25 22:03:14 +00:00
2008-05-12 14:04:23 +00:00
2008-03-25 22:03:14 +00:00
2008-05-12 22:31:37 +00:00
2008-05-12 14:04:23 +00:00
2005-05-27 22:27:59 +00:00
2008-03-25 22:03:14 +00:00
2005-03-13 06:26:13 +00:00
2008-03-25 22:03:14 +00:00
2008-03-25 22:03:14 +00:00
2008-03-25 22:03:14 +00:00