Tree [4b1545] default Isabelle2011-1 / tools /
 History



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