Dear all: HOL is a higher order logic theorem prover, while most of the time, we use first order lib such as season and metis,
So where is the higher order? Shen ------------------------------------------------------------------------------ _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
