# User Details

User Details

- User Since
- Nov 19 2019, 1:16 PM (8 w, 6 d)

# Fri, Jan 17

Fri, Jan 17

pruvisto committed rISABELLEa3f7f00b4fd8: Removed unnecessary and problematic trivial lemma from HOL-Algebra.

Removed unnecessary and problematic trivial lemma from HOL-Algebra

# Thu, Jan 2

Thu, Jan 2

More material for Zeta_Function: Hadjicostas's formula

# Dec 20 2019

Dec 20 2019

# Dec 3 2019

Dec 3 2019

Removed orphaned theory from HOL-Analysis

Reorganised HOL-Complex_Analysis

# Dec 2 2019

Dec 2 2019

Removed duplicate theorems from HOL-Analysis

Flattened dependency tree of HOL-Analysis

Simplified Harmonic_Numbers

pruvisto committed rISABELLE954ee5acaae0: Split off new HOL-Complex_Analysis session from HOL-Analysis.

Split off new HOL-Complex_Analysis session from HOL-Analysis

adapted to isabelle-dev 954ee5acaae0