Peter Bex f29b700851 - Attempt some fixes; perhaps the package might work now.		2004-03-24 21:21:59 +00:00
..
patches	- Attempt some fixes; perhaps the package might work now.	2004-03-24 21:21:59 +00:00
DESCR	HOL Light is a computer program to help users prove interesting	2004-03-17 22:28:24 +00:00
distinfo	- Attempt some fixes; perhaps the package might work now.	2004-03-24 21:21:59 +00:00
Makefile	- Attempt some fixes; perhaps the package might work now.	2004-03-24 21:21:59 +00:00
MESSAGE	HOL Light is a computer program to help users prove interesting	2004-03-17 22:28:24 +00:00
PLIST	- Attempt some fixes; perhaps the package might work now.	2004-03-24 21:21:59 +00:00
TODO	- Add TODO	2004-03-17 23:45:02 +00:00