preloadingpreloading

Others

2012

  PDF     T. Tuerk
Documentation of the HOL 4 quantifier elimination library
distributed together with HOL 4 in directory src/quantHeuristics/doc

News

15 November 2016
Contact details updated

22 January 2014
Contact details updated

10 September 2013
minor updates

19 June 2012
Contact details updated

17 June 2011
Projects added

19 May 2011
Contact details updated

25 April 2011
Pages created

Last update
December 30. 2016 11:34:04