removed unused bib
authorAhmed Irfan <irfan@levert.(none)>
Mon, 3 Nov 2014 15:24:26 +0000 (16:24 +0100)
committerAhmed Irfan <irfan@levert.(none)>
Mon, 3 Nov 2014 15:24:26 +0000 (16:24 +0100)
commit6460d094e51a66e2fe5efc71c99cd2f73847b6cb
tree9718963fa2bd376a8ffce4afa6f947147f3a7bc6
parent3dd316bdc79bb50c2b968808b4917cb8a49a362e
removed unused bib

removed unused bibitems from the appnote verilog to btor
manual/APPNOTE_012_Verilog_to_BTOR.tex