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

Read Only access


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