Admin/website/logics.html
2005-09-27 wenzelm removed link to HOL4, which is not in the library right now;
2005-09-21 haftmann unify dist and main
2005-06-28 haftmann some minor improvements
2005-06-05 schirmer typo
2005-06-04 haftmann added shellcmd style
2005-06-04 haftmann added new website
less more (0) tip