[isabelle-dev] src/HOLCF/IsaMakefile

Makarius makarius at sketis.net
Mon Jan 9 16:04:37 CET 2012

Does the old src/HOLCF/IsaMakefile still have any purpose?

Ever since the inclusion of HOLCF within the regular HOL session library 
it should be subsumed by the main src/HOL/IsaMakefile.  Some recent 
changes appy to both files nonetheless, see 
but the old HOLCF version probably has diverged from the HOL one already. 
(Makefiles are hard to maintain anyway.)


More information about the isabelle-dev mailing list