Changes

Summary

Merge
Merge
renaming of subspace_sub
merge from afp-2016
new entry Card_Equiv_Relations
new entry Posix-Lexing
merged
adapted to name change in HOL

Changeset 6650:0926d0e7c628 by paulson _lp15@cam.ac.uk_: Merge
Changeset 6649:74446b714bf1 by paulson _lp15@cam.ac.uk_: Merge
Changeset 6648:3fb53f20ba03 by paulson _lp15@cam.ac.uk_: renaming of subspace_sub
The file was modified	`thys/QR_Decomposition/Least_Squares_Approximation.thy` (diff)
The file was modified	`thys/Rank_Nullity_Theorem/Generalizations.thy` (diff)
Changeset 6647:01bf221ff2a7 by kleing: merge from afp-2016
Changeset 6646:ceaf14280f68 by gerwin.klein@nicta.com.au: new entry Card_Equiv_Relations
The file was added	`thys/Card_Equiv_Relations/Card_Equiv_Relations.thy`
The file was added	`thys/Card_Equiv_Relations/Card_Partial_Equiv_Relations.thy`
The file was added	`thys/Card_Equiv_Relations/More_Set_Partition.thy`
The file was added	`thys/Card_Equiv_Relations/ROOT`
The file was added	`thys/Card_Equiv_Relations/document/root.bib`
The file was added	`thys/Card_Equiv_Relations/document/root.tex`
The file was added	`web/entries/Card_Equiv_Relations.shtml`
The file was modified	`metadata/metadata` (diff)
The file was modified	`thys/ROOTS` (diff)
The file was modified	`web/index.shtml` (diff)
The file was modified	`web/topics.shtml` (diff)
Changeset 6645:415b964c7acb by gerwin.klein@nicta.com.au: new entry Posix-Lexing
The file was added	`thys/Posix-Lexing/Derivatives.thy`
The file was added	`thys/Posix-Lexing/Lexer.thy`
The file was added	`thys/Posix-Lexing/README`
The file was added	`thys/Posix-Lexing/ROOT`
The file was added	`thys/Posix-Lexing/Regular_Exp.thy`
The file was added	`thys/Posix-Lexing/Regular_Set.thy`
The file was added	`thys/Posix-Lexing/Simplifying.thy`
The file was added	`thys/Posix-Lexing/document/root.bib`
The file was added	`thys/Posix-Lexing/document/root.tex`
The file was added	`web/entries/Posix-Lexing.shtml`
The file was modified	`metadata/metadata` (diff)
The file was modified	`thys/ROOTS` (diff)
The file was modified	`web/entries/Promela.shtml` (diff)
The file was modified	`web/index.shtml` (diff)
The file was modified	`web/topics.shtml` (diff)
Changeset 6644:f50468f83310 by nipkow: merged
Changeset 6643:881caa33dbf5 by nipkow: adapted to name change in HOL
The file was modified	`thys/Bell_Numbers_Spivey/Bell_Numbers.thy` (diff)