Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.
Parents and children of check-in [9c0eace5aa]
|21:37||Updated to use the new inductive (vertical-bar) goal encoding. check-in: 5f036d068a user: andy tags: trunk|
|21:37||Some additional styles for rendering of derivations. check-in: 9c0eace5aa user: andy tags: trunk|
|21:36||Changed the encoding for inductive goals from \size to |size. The backslash was getting lost in the string encoding in some places. check-in: 23db977deb user: andy tags: trunk|