Lukas Steven's more general fold foctions for maps
ae2f8144b60d
Actions

Description

Lukas Steven's more general fold foctions for maps

Details

Provenance

Authored on

Parents

rISABELLE9db620f007fa: More general fold function for maps
rISABELLE5153fad491f3: follow Phabricator update 2021 Week 23;

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rISABELLEae2f8144b60d: Lukas Steven's more general fold foctions for maps.Jun 8 2021, 5:01 PM

Merged Changes

9db620f007fa More general fold function for maps
Author
nipkow
Browse Repository
No Builds
No Audits

Changes (47)

Path

Size

NEWS

etc/

options

src

Doc/

System/

Presentation.thy

Sessions.thy

HOL

Analysis/

Convex_Euclidean_Space.thy

Derivative.thy

Linear_Algebra.thy

Path_Connected.thy

Complex_Analysis/

Complex_Singularities.thy

Contour_Integration.thy

Deriv.thy

Examples

	Examples/
	ex/

Tools/

Mirabelle/

mirabelle.ML

mirabelle.scala

mirabelle_sledgehammer.ML

etc/

PIDE/

isabelle_process.scala

isabelle_system.scala

options.scala

	System/
	Admin/

Thy/

Tools/

Tools/

VSCode/

src/

language_server.scala

jEdit/

src/

isabelle.scala

jedit_sessions.scala

rISABELLEae2f8144b60d

View Options

NEWS

View Options

etc/options

View Options

src/Doc/System/Presentation.thy

View Options

src/Doc/System/Sessions.thy

View Options

src/HOL/Analysis/Convex_Euclidean_Space.thy

View Options

src/HOL/Analysis/Derivative.thy

View Options

src/HOL/Analysis/Linear_Algebra.thy

View Options

src/HOL/Analysis/Path_Connected.thy

View Options

src/HOL/Complex_Analysis/Complex_Singularities.thy

View Options

src/HOL/Complex_Analysis/Contour_Integration.thy

View Options

src/HOL/Deriv.thy

View Options

src/HOL/Examples/Sqrt.thy

View Options

src/HOL/Library/Bit_Operations.thy

View Options

src/HOL/Library/Lexord.thy

View Options

src/HOL/Library/Word.thy

View Options

src/HOL/Limits.thy

View Options

src/HOL/Orderings.thy

View Options

src/HOL/ROOT

View Options

src/HOL/Tools/Mirabelle/mirabelle.ML

View Options

src/HOL/Tools/Mirabelle/mirabelle.scala

View Options

src/HOL/Tools/Mirabelle/mirabelle_sledgehammer.ML

View Options

src/HOL/Tools/etc/options

View Options

src/HOL/ex/Sqrt.thy

View Options

src/HOL/ex/Sqrt_Script.thy

View Options

src/Pure/Admin/components.scala

View Options

src/Pure/PIDE/headless.scala

View Options

src/Pure/System/components.scala

View Options

src/Pure/System/isabelle_process.scala

View Options

src/Pure/System/isabelle_system.scala

View Options

src/Pure/System/options.scala

View Options

src/Pure/Thy/sessions.scala

View Options

src/Pure/Thy/thy_info.ML

View Options

src/Pure/Tools/build.ML

View Options

src/Pure/Tools/build.scala

View Options

src/Pure/Tools/build_job.scala

View Options

src/Pure/build-jars

View Options

src/Tools/VSCode/src/language_server.scala

View Options

src/Tools/jEdit/src/isabelle.scala

View Options

src/Tools/jEdit/src/jedit_sessions.scala

Lukas Steven's more general fold foctions for mapsae2f8144b60dActions

Description

Details

Event Timeline

Merged Changes

Changes (47)

rISABELLEae2f8144b60d

NEWS

etc/options

src/Doc/System/Presentation.thy

src/Doc/System/Sessions.thy

src/HOL/Analysis/Convex_Euclidean_Space.thy

src/HOL/Analysis/Derivative.thy

src/HOL/Analysis/Linear_Algebra.thy

src/HOL/Analysis/Path_Connected.thy

src/HOL/Complex_Analysis/Complex_Singularities.thy

src/HOL/Complex_Analysis/Contour_Integration.thy

src/HOL/Deriv.thy

src/HOL/Examples/Sqrt.thy

src/HOL/Library/Bit_Operations.thy

src/HOL/Library/Lexord.thy

src/HOL/Library/Word.thy

src/HOL/Limits.thy

src/HOL/Orderings.thy

src/HOL/ROOT

src/HOL/Tools/Mirabelle/mirabelle.ML

src/HOL/Tools/Mirabelle/mirabelle.scala

src/HOL/Tools/Mirabelle/mirabelle_sledgehammer.ML

src/HOL/Tools/etc/options

src/HOL/ex/Sqrt.thy

src/HOL/ex/Sqrt_Script.thy

src/Pure/Admin/components.scala

src/Pure/PIDE/headless.scala

src/Pure/System/components.scala

src/Pure/System/isabelle_process.scala

src/Pure/System/isabelle_system.scala

src/Pure/System/options.scala

src/Pure/Thy/sessions.scala

src/Pure/Thy/thy_info.ML

src/Pure/Tools/build.ML

src/Pure/Tools/build.scala

src/Pure/Tools/build_job.scala

src/Pure/build-jars

src/Tools/VSCode/src/language_server.scala

src/Tools/jEdit/src/isabelle.scala

src/Tools/jEdit/src/jedit_sessions.scala

Lukas Steven's more general fold foctions for maps
ae2f8144b60d
Actions