doc-src/IsarRef/Thy/document/HOL_Specific.tex
Tue, 14 Jul 2009 10:54:04 +0200 haftmann code attributes use common underscore convention
less more (0) -10 -1 tip