- Wrote a bit more about Placeholders.
authorMatej Urbas <matej.urbas@gmail.com>
Tue, 24 Apr 2012 13:40:24 +0000 (14:40 +0100)
committerMatej Urbas <matej.urbas@gmail.com>
Tue, 24 Apr 2012 13:40:24 +0000 (14:40 +0100)
commitf00788c4bd12d1a8b72c5f45265ddc89ea7df965
tree9fd81ff06f444b0db43d0ea0813f3422b20ecebf
parentd4094843a6cba703073ab7dfa90610f9499e5b57
- Wrote a bit more about Placeholders.
devel/Theories/Diabelli/HeterogeneousStatements.thy