Simon Barner 80bd7289ee Add isabelle 2004, a generic proof assistant. ... PR: 84859 Submitted by: Timothy Bourke <timbob@bigpond.com>		2005-09-01 10:03:58 +00:00
..
files
distinfo
Makefile
pkg-descr
pkg-install
pkg-plist