Library of Formalized Mathematics for Isabelle/Isar (ZF Logic) - News
version 1.6.5 released
Item posted by Slawomir Kolodynski <slawekk> on Mon 22 Sep 2008 01:01:30 AM UTC.
This version adds about 50 new facts leading to the theorem that every two linearly ordered finite sets are order isomorphic and the isomorphism is unique.
Powered by Savane 3.16.
Corresponding source code
