Template talk:Bibtex:hl07mechanizing

From The Twelf Project
Jump to: navigation, search

Cool!  — Tom 7 22:19, 14 March 2007 (EDT)

Why thanks! At some point I'll need to translate the rest of the extension to English from French. — Rob (and his talk) 22:21, 14 March 2007 (EDT)