Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. merge
  2. added many results on first-order terms, added positions
Changeset 14278:a52546d735ec by rene thiemann _rene.thiemann@uibk.ac.at_:
merge
Changeset 14277:c61a0a701a26 by rene thiemann _rene.thiemann@uibk.ac.at_:
added many results on first-order terms, added positions
The file was addedthys/First_Order_Terms/Position.thy
The file was addedthys/First_Order_Terms/Term_More.thy
The file was modified thys/First_Order_Terms/ROOT
The file was modified thys/First_Order_Terms/Subterm_and_Context.thy
The file was modified thys/First_Order_Terms/Term.thy