HomeIsabelle/Phabricator
Diffusion afp-devel ceaf14280f68

new entry Card_Equiv_Relations
ceaf14280f68
Actions

Description

new entry Card_Equiv_Relations

Details

Provenance
gerwin.klein@nicta.com.auAuthored on
Parents
rAFP415b964c7acb: new entry Posix-Lexing
Branches
Unknown
Tags
Unknown

Event Timeline

Changes (16)

PathSize
metadata/

rAFPceaf14280f68

View Options

metadata/metadata

Loading...
View Options

thys/Card_Equiv_Relations/Card_Equiv_Relations.thy

Loading...
View Options

thys/Card_Equiv_Relations/Card_Partial_Equiv_Relations.thy

Loading...
View Options

thys/Card_Equiv_Relations/More_Set_Partition.thy

Loading...
View Options

thys/Card_Equiv_Relations/ROOT

Loading...
View Options

thys/Card_Equiv_Relations/document/root.bib

Loading...
View Options

thys/Card_Equiv_Relations/document/root.tex

Loading...
View Options

thys/ROOTS

Loading...
View Options

web/entries/Card_Equiv_Relations.shtml

Loading...
View Options

web/index.shtml

Loading...
View Options

web/topics.shtml

Loading...