Thread
:
Tweeky's Various Contributions
View Single Post
07 September 2018, 09:49
#
122
haynor666
retro maniac
Join Date: May 2002
Location: Tarnobrzeg/Poland
Age: 45
Posts: 1,771
There are some book utilities already in HOL but not too much. Probably bacause nobody is interested in searching for such soft and adding to HOL.
haynor666
View Public Profile
Visit haynor666's homepage!
Find More Posts by haynor666
Page generated in
0.04370
seconds with
11
queries