Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

  1. Update root.tex
  2. Cut out Fitting's consistency properties
  3. fixed proof
Changeset 11722:0fa3d918ef8c by asta halkjær from _andro.from@gmail.com_:
Update root.tex
The file was modified thys/Epistemic_Logic/document/root.tex
Changeset 11721:285e1cc62c43 by asta halkjær from _andro.from@gmail.com_:
Cut out Fitting's consistency properties
The file was modified thys/Epistemic_Logic/Epistemic_Logic.thy
Changeset 11720:cf0a3199f4e7 by rene thiemann _rene.thiemann@uibk.ac.at_:
fixed proof
The file was modified thys/Modular_arithmetic_LLL_and_HNF_algorithms/HNF_Mod_Det_Algorithm.thy