Tree [5dd878] default Isabelle2011-1 / tools /
 History

Read Only access


File Date Author Commit
 testafp 2011-08-30 haftmann haftmann [5b970f] rudimentary support for AFP as Isabelle component