CookBook/document/cookbook.bib
changeset 2 978a3c2ed7ce
child 5 e91f54791e14
equal deleted inserted replaced
1:b729345319f0 2:978a3c2ed7ce
       
     1 
       
     2 @manual{isa-imp,
       
     3   author	= {Makarius Wenzel},
       
     4   title		= {The {Isabelle/Isar} Implementation},
       
     5   institution	= {Technische Universit\"at M\"unchen},
       
     6   note          = {\url{http://isabelle.in.tum.de/doc/implementation.pdf}}}