Darwin Ports Search Results for "isabelle"
Sunday the 22nd 2009f November, 2009



isabelle
... ndesign@macports.org $ PortSystem 1.0 name isabelle version 2009 categories math lang ml pl ...
isabelle.darwinports.com : Cached - Similar pages  - 
isabelle-devel
... 2009-10-03 11:17:18Z mww@macports.org $ PortSystem 1.0 name isabelle-devel version 2009-10-01 set my_version [clock format ...
isabelle-devel.darwinports.com : Cached - Similar pages  - 
ott
... ersion of the definition, and Coq, HOL, and Isabelle versions of the definition. homepage http:// ...
ott.darwinports.com : Cached - Similar pages  -