- Developing the theory of Placeholders and providing some examples at the same time.
authorMatej Urbas <matej.urbas@gmail.com>
Mon, 23 Apr 2012 22:13:15 +0000 (23:13 +0100)
committerMatej Urbas <matej.urbas@gmail.com>
Mon, 23 Apr 2012 22:13:15 +0000 (23:13 +0100)
commit3e780a9dedc26a39e33c5ae1472570be1c0df26c
tree62be42e21682a67ab7a086033a8107d0d82d5e88
parent6fc85c85bb33440089e628fc718181a20ea2c73f
- Developing the theory of Placeholders and providing some examples at the same time.
devel/Theories/Diabelli/HeterogeneousStatements.thy
devel/Theories/Diabelli/ROOT.ML