| Wed, 07 Mar 2012 13:00:30 +0000 | sultana | added Mirabelle action info in its log file; tuned; | changeset | files |
| Tue, 06 Mar 2012 17:01:37 +0000 | paulson | More mathematical symbols for ZF examples | changeset | files |
| Tue, 06 Mar 2012 16:46:27 +0000 | paulson | mathematical symbols for Isabelle/ZF example theories | changeset | files |
| Tue, 06 Mar 2012 16:06:52 +0000 | paulson | Using mathematical notation for <-> and cardinal arithmetic | changeset | files |
| Tue, 06 Mar 2012 15:15:49 +0000 | paulson | mathematical symbols instead of ASCII | changeset | files |
| Sun, 04 Mar 2012 23:20:43 +0100 | blanchet | addressed a quotient-type-related issue that arose with the port to "set" | changeset | files |
| Sun, 04 Mar 2012 23:20:43 +0100 | blanchet | ensure no abstractions leak through after lambda-lifting (for formulas with higher-order occurrences of quantifiers) | changeset | files |
| Sun, 04 Mar 2012 23:04:40 +0100 | wenzelm | updates for jedit-4.5.0 (still inactive); | changeset | files |