https://github.com/goodlyrottenapple/muddy-children
Tip revision: 3d577f902ee11d12980d29429b0d850805cbc97f authored by Sam Balco on 14 May 2018, 15:58:49 UTC
fixed typos in labels
fixed typos in labels
Tip revision: 3d577f9
File | Mode | Size |
---|---|---|
LaTeX | ||
calculus | ||
docs | ||
.gitignore | -rw-r--r-- | 40 bytes |
DEAKDerivedRules.thy | -rw-r--r-- | 26.6 KB |
LICENSE | -rw-r--r-- | 1.1 KB |
MuddyChildren.thy | -rw-r--r-- | 69.0 KB |
NatToString.thy | -rw-r--r-- | 5.0 KB |
README.md | -rw-r--r-- | 139 bytes |
ROOT | -rw-r--r-- | 60 bytes |