- Started developing the theory of Placeholders in Isabelle.
authorMatej Urbas <matej.urbas@gmail.com>
Mon, 23 Apr 2012 13:36:23 +0000 (14:36 +0100)
committerMatej Urbas <matej.urbas@gmail.com>
Mon, 23 Apr 2012 13:36:23 +0000 (14:36 +0100)
commit6fc85c85bb33440089e628fc718181a20ea2c73f
treef1c0c566cbdd56bd34df05019fca060eb82beaed
parente89ae79a59f972f9577903881044831568995b25
- Started developing the theory of Placeholders in Isabelle.
devel/Theories/Diabelli/HeterogeneousStatements.thy