| Sun, 18 Aug 2013 15:10:18 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 13 Aug 2013 16:25:47 +0200 | wenzelm | standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find; | file | diff | annotate |
| Tue, 30 Jul 2013 15:09:25 +0200 | wenzelm | type theory is purely value-oriented; | file | diff | annotate |
| Fri, 12 Jul 2013 21:13:57 +0200 | wenzelm | more robust proof export / import due to Stefan Berghofer; | file | diff | annotate |
| Sun, 30 Jun 2013 11:37:34 +0200 | wenzelm | backout dedd7952a62c: static "proofs" value within theory prevents later inferencing with different configuration; | file | diff | annotate |
| Sun, 30 Jun 2013 11:30:16 +0200 | wenzelm | just one alternative proof syntax, which also works for Proof_Syntax.pretty_proof/Proof_Syntax.read_proof roundtrip; | file | diff | annotate |