Changes

Summary

merged from afp-2016-1
Constructor Functions: website
new entry: Constructor Functions
Lazy_Case: website
new entry: Laze_Case
fixed typo

Changeset 7820:e5e32cf838a8 by rene thiemann _rene.thiemann@uibk.ac.at_: merged from afp-2016-1
Changeset 7819:8b7941d46764 by rene thiemann _rene.thiemann@uibk.ac.at_: Constructor Functions: website
The file was added	`web/entries/Constructor_Funs.shtml`
The file was modified	`metadata/metadata` (diff)
The file was modified	`web/index.shtml` (diff)
The file was modified	`web/rss.xml` (diff)
The file was modified	`web/statistics.shtml` (diff)
The file was modified	`web/topics.shtml` (diff)
Changeset 7818:ca305753982e by rene thiemann _rene.thiemann@uibk.ac.at_: new entry: Constructor Functions
The file was added	`thys/Constructor_Funs/Constructor_Funs.thy`
The file was added	`thys/Constructor_Funs/ROOT`
The file was added	`thys/Constructor_Funs/Test_Constructor_Funs.thy`
The file was added	`thys/Constructor_Funs/constructor_funs.ML`
The file was added	`thys/Constructor_Funs/document/root.tex`
The file was modified	`thys/ROOTS` (diff)
Changeset 7817:ca59346ca1bf by rene thiemann _rene.thiemann@uibk.ac.at_: Lazy_Case: website
The file was added	`web/entries/Lazy_Case.shtml`
The file was modified	`metadata/metadata` (diff)
The file was modified	`web/index.shtml` (diff)
The file was modified	`web/rss.xml` (diff)
The file was modified	`web/statistics.shtml` (diff)
The file was modified	`web/topics.shtml` (diff)
Changeset 7816:4140a811752a by rene thiemann _rene.thiemann@uibk.ac.at_: new entry: Laze_Case
The file was added	`thys/Lazy_Case/Lazy_Case.thy`
The file was added	`thys/Lazy_Case/ROOT`
The file was added	`thys/Lazy_Case/Test_Lazy_Case.thy`
The file was added	`thys/Lazy_Case/document/root.tex`
The file was added	`thys/Lazy_Case/lazy_case.ML`
The file was modified	`thys/ROOTS` (diff)
Changeset 7815:eb201abd3fc8 by rene thiemann _rene.thiemann@uibk.ac.at_: fixed typo
The file was modified	`thys/Subresultants/ROOT` (diff)