| Thu, 20 Jul 2017 14:05:29 +0100 | paulson | Divided Convex_Euclidean_Space.thy in half, creating new theory Starlike | changeset | files |
| Wed, 19 Jul 2017 22:56:16 +0100 | blanchet | strengthened tactic (for 'fun' BNF) | changeset | files |
| Wed, 19 Jul 2017 16:41:26 +0100 | paulson | new material: Colinearity, convex sets, polytopes | changeset | files |
| Tue, 18 Jul 2017 11:35:32 +0200 | eberlm | poles and residues of the Gamma function | changeset | files |
| Tue, 18 Jul 2017 08:54:49 +0200 | Andreas Lochbihler | merged | changeset | files |
| Mon, 17 Jul 2017 17:30:34 +0200 | Andreas Lochbihler | new derived targets for evaluating Haskell and Scala programs | changeset | files |
| Mon, 17 Jul 2017 16:49:19 +0200 | eberlm | Printing natural numbers as numerals in evaluation | changeset | files |
| Sun, 16 Jul 2017 23:47:21 +0200 | Lars Hupel | fmap is finite | changeset | files |
| Sat, 15 Jul 2017 21:40:24 +0100 | eberlm | facts about cardinality of vector type | changeset | files |
| Sat, 15 Jul 2017 16:27:10 +0100 | eberlm | Adapted Approximation_Bounds to changes in Multiset | changeset | files |
| Sat, 15 Jul 2017 14:54:13 +0100 | eberlm | Simprocs for roots of numerals | changeset | files |
| Sat, 15 Jul 2017 14:36:30 +0100 | eberlm | Updated NEWS | changeset | files |
| Sat, 15 Jul 2017 14:33:56 +0100 | eberlm | HOL-Analysis: Infinite products | changeset | files |
| Sat, 15 Jul 2017 14:32:02 +0100 | eberlm | More material on powers for HOL-Computational_Algebra/HOL-Number_Theory | changeset | files |
| Wed, 12 Jul 2017 18:42:32 +0200 | Lars Hupel | additional lemmas for State_Monad, courtesy of Andreas Lochbihler | changeset | files |
| Wed, 12 Jul 2017 11:33:32 +0200 | Lars Hupel | more material on finite maps | changeset | files |
| Wed, 12 Jul 2017 07:52:35 +0200 | traytel | redundant since c6714a9562ae | changeset | files |
| Tue, 11 Jul 2017 21:36:42 +0200 | traytel | store the unfolded definitions of the lifted bnf constants under "_def" name | changeset | files |
| Tue, 11 Jul 2017 20:47:19 +0200 | Lars Hupel | state monad | changeset | files |
| Tue, 11 Jul 2017 17:22:33 +0200 | Lars Hupel | State_Monad ~> Open_State_Syntax | changeset | files |
| Tue, 11 Jul 2017 17:11:37 +0200 | Lars Hupel | more material on fmaps | changeset | files |
| Tue, 11 Jul 2017 16:12:36 +0200 | Lars Hupel | canonical representation for fmaps is fmlookup | changeset | files |
| Tue, 11 Jul 2017 15:34:35 +0200 | Lars Hupel | fmaps are countable | changeset | files |
| Tue, 11 Jul 2017 12:24:27 +0200 | Lars Hupel | merged | changeset | files |
| Tue, 11 Jul 2017 09:31:36 +0200 | Lars Hupel | card_0_eq ~> fcard_0_eq | changeset | files |
| Tue, 11 Jul 2017 09:22:14 +0200 | Lars Hupel | material from $AFP/Formula_Derivatives/FSet_More | changeset | files |
| Mon, 10 Jul 2017 23:21:54 +0200 | Lars Hupel | FSet is monadic | changeset | files |
| Mon, 10 Jul 2017 18:53:38 +0200 | Lars Hupel | finite sets are countable | changeset | files |
| Mon, 10 Jul 2017 16:38:42 +0200 | Lars Hupel | lift sum to finite sets | changeset | files |
| Mon, 10 Jul 2017 19:48:58 +0200 | haftmann | tuned | changeset | files |
| Sat, 08 Jul 2017 20:05:26 +0200 | haftmann | clarified | changeset | files |
| Sat, 08 Jul 2017 19:34:46 +0200 | haftmann | dropped superfluous theory imports | changeset | files |
| Sat, 08 Jul 2017 17:33:11 +0200 | nipkow | revised lemma | changeset | files |
| Sat, 08 Jul 2017 15:51:34 +0200 | nipkow | merged | changeset | files |
| Sat, 08 Jul 2017 15:51:29 +0200 | nipkow | generalized lemma | changeset | files |
| Fri, 07 Jul 2017 16:57:50 +0200 | wenzelm | proper check wrt. distinct entry dates; | changeset | files |
| Fri, 07 Jul 2017 11:32:06 +0200 | nipkow | added lemma | changeset | files |
| Tue, 04 Jul 2017 09:36:25 +0100 | immler | some generalizations complex=>real_normed_field | changeset | files |
| Sun, 02 Jul 2017 20:13:38 +0200 | haftmann | proper concept of code declaration wrt. atomicity and Isar declarations | changeset | files |
| Mon, 03 Jul 2017 14:25:07 +0200 | wenzelm | merged | changeset | files |
| Mon, 03 Jul 2017 14:24:55 +0200 | wenzelm | complete on long name components as well; | changeset | files |
| Mon, 03 Jul 2017 13:51:55 +0200 | wenzelm | added command 'alias' and 'type_alias'; | changeset | files |
| Mon, 03 Jul 2017 09:57:26 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 03 Jul 2017 09:20:24 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 03 Jul 2017 09:12:13 +0200 | wenzelm | unused; | changeset | files |
| Mon, 03 Jul 2017 12:19:49 +0200 | Andreas Lochbihler | qualify Complete_Partial_Order2.compact | changeset | files |
| Sat, 01 Jul 2017 16:39:56 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 01 Jul 2017 16:26:15 +0200 | wenzelm | proper fonts (cf. 1d219d76873b); | changeset | files |
| Sat, 01 Jul 2017 16:22:47 +0200 | wenzelm | all_known can cause timeout of VSCode server startup, notably on Windows; | changeset | files |
| Fri, 30 Jun 2017 21:55:07 +0200 | wenzelm | tuned documentation; | changeset | files |
| Fri, 30 Jun 2017 21:51:49 +0200 | wenzelm | clarified screenshot; | changeset | files |
| Fri, 30 Jun 2017 21:19:13 +0200 | wenzelm | NEWS; | changeset | files |
| Fri, 30 Jun 2017 16:28:06 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 30 Jun 2017 16:16:45 +0200 | wenzelm | more documentation; | changeset | files |
| Fri, 30 Jun 2017 14:26:45 +0200 | wenzelm | retain symlinks in file names from VSCode: relevant for proper file locations in decorations etc.; | changeset | files |
| Fri, 30 Jun 2017 14:19:37 +0200 | wenzelm | clarified platform file operations; | changeset | files |
| Fri, 30 Jun 2017 14:17:48 +0200 | wenzelm | more operations; | changeset | files |
| Fri, 30 Jun 2017 14:01:55 +0200 | wenzelm | clarified signature; | changeset | files |
| Fri, 30 Jun 2017 13:21:47 +0200 | wenzelm | more robust: always package; | changeset | files |
| Fri, 30 Jun 2017 13:19:24 +0200 | wenzelm | prefer explicit link; | changeset | files |