[isabelle-dev] AFP works

Makarius makarius at sketis.net
Fri Apr 17 15:51:06 CEST 2015

Previous message (by thread): [isabelle-dev] NEWS: isabelle build -X
Next message (by thread): [isabelle-dev] docs for new datatype package
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Just for the historical record: in Isabelle/caf2637a28a9 all of 
AFP/a44a0c9e17ef works.


 	Makarius

Previous message (by thread): [isabelle-dev] NEWS: isabelle build -X
Next message (by thread): [isabelle-dev] docs for new datatype package
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list