Changes

Summary

adjusted PLM from 2016-1 to development
merged from afp-2016-1
website updates for PLM
merge
new entry PLM
revisions to text by author
Missing .bib file added. Still not working
added missing .bib file
AnselmGod website
new entry AnselmGod

Changeset 8326:deddccf047eb by rene thiemann _rene.thiemann@uibk.ac.at_: adjusted PLM from 2016-1 to development
The file was modified	`thys/PLM/ROOT` (diff)
The file was modified	`thys/PLM/TAO_2_Semantics.thy` (diff)
The file was modified	`thys/PLM/TAO_5_MetaSolver.thy` (diff)
The file was modified	`thys/PLM/TAO_9_PLM.thy` (diff)
The file was modified	`thys/PLM/Thesis.thy` (diff)
Changeset 8325:5876eeb5fa6c by rene thiemann _rene.thiemann@uibk.ac.at_: merged from afp-2016-1
Changeset 8324:0d5377186202 by rene thiemann _rene.thiemann@uibk.ac.at_: website updates for PLM
The file was added	`web/entries/PLM.html`
The file was modified	`metadata/metadata` (diff)
The file was modified	`web/index.html` (diff)
The file was modified	`web/rss.xml` (diff)
The file was modified	`web/statistics.html` (diff)
The file was modified	`web/topics.html` (diff)
Changeset 8323:3dde9c3ae900 by rene thiemann _rene.thiemann@uibk.ac.at_: merge
Changeset 8322:c12749ad365a by rene thiemann _rene.thiemann@uibk.ac.at_: new entry PLM
The file was added	`thys/PLM/ROOT`
The file was added	`thys/PLM/TAO_10_PossibleWorlds.thy`
The file was added	`thys/PLM/TAO_1_Embedding.thy`
The file was added	`thys/PLM/TAO_2_Semantics.thy`
The file was added	`thys/PLM/TAO_3_Quantifiable.thy`
The file was added	`thys/PLM/TAO_4_BasicDefinitions.thy`
The file was added	`thys/PLM/TAO_5_MetaSolver.thy`
The file was added	`thys/PLM/TAO_6_Identifiable.thy`
The file was added	`thys/PLM/TAO_7_Axioms.thy`
The file was added	`thys/PLM/TAO_8_Definitions.thy`
The file was added	`thys/PLM/TAO_98_ArtificialTheorems.thy`
The file was added	`thys/PLM/TAO_99_Paradox.thy`
The file was added	`thys/PLM/TAO_99_SanityTests.thy`
The file was added	`thys/PLM/TAO_9_PLM.thy`
The file was added	`thys/PLM/Thesis.thy`
The file was added	`thys/PLM/document/BNF.pdf`
The file was added	`thys/PLM/document/BNF.svg`
The file was added	`thys/PLM/document/aczel-model.pdf`
The file was added	`thys/PLM/document/external.tex`
The file was added	`thys/PLM/document/logo.pdf`
The file was added	`thys/PLM/document/root.bib`
The file was added	`thys/PLM/document/root.tex`
The file was modified	`thys/ROOTS` (diff)
Changeset 8321:351aecb0fbe0 by paulson _lp15@cam.ac.uk_: revisions to text by author
The file was modified	`thys/AnselmGod/AnselmGod.thy` (diff)
The file was modified	`thys/AnselmGod/document/root.tex` (diff)
The file was modified	`web/statistics.html` (diff)
Changeset 8320:e8bf27cba4e3 by paulson _lp15@cam.ac.uk_: Missing .bib file added. Still not working
The file was modified	`thys/AnselmGod/ROOT` (diff)
Changeset 8319:480099a8d302 by paulson _lp15@cam.ac.uk_: added missing .bib file
The file was added	`thys/AnselmGod/document/root.bib`
Changeset 8318:32e07254d478 by paulson _lp15@cam.ac.uk_: AnselmGod website
The file was added	`web/entries/AnselmGod.html`
The file was modified	`metadata/metadata` (diff)
The file was modified	`web/index.html` (diff)
The file was modified	`web/rss.xml` (diff)
The file was modified	`web/statistics.html` (diff)
The file was modified	`web/topics.html` (diff)
Changeset 8317:0b34ceb72884 by paulson _lp15@cam.ac.uk_: new entry AnselmGod
The file was added	`thys/AnselmGod/AnselmGod.thy`
The file was added	`thys/AnselmGod/ROOT`
The file was added	`thys/AnselmGod/document/root.tex`
The file was modified	`thys/ROOTS` (diff)