Autoupdate documentation with coqdoc to 2d66d3d

Generated with `make html` on commit:

commit 2d66d3d34f05c3b5b106fa0a0a53b404fd966a5f
Merge: 663ef61 dd98006
Author: Andrej Bauer <Andrej.Bauer@andrej.com>
Date:   Wed Sep 4 15:50:47 2013 -0700

    Merge pull request #206 from spitters/master

    Removing admits, one left due to universe inconsistency.

commit dd980069517b4f5c4944e98ce4e4366654191c93
Author: Bas Spitters <spitters@cs.ru.nl>
Date:   Wed Sep 4 09:01:25 2013 +0200

    More informaitve names

commit 6bee7dcf341f3bd0f2109c82833a7e25d82672c4
Author: Bas Spitters <spitters@cs.ru.nl>
Date:   Tue Sep 3 09:10:37 2013 +0200

    Cleaning up

commit 3a59d87439ff7f53cdf6e537c8b66892e2968ccb
Author: Bas Spitters <spitters@cs.ru.nl>
Date:   Mon Sep 2 22:49:47 2013 +0200

    docs

commit 2372396641f38b2116c0190c7be7788997b2ed9c
Author: Bas Spitters <spitters@cs.ru.nl>
Date:   Mon Sep 2 22:46:19 2013 +0200

    Docs

commit c1540bc49830b3149e16a49220148138546ae55a
Author: Bas Spitters <spitters@cs.ru.nl>
Date:   Mon Sep 2 21:55:45 2013 +0200

    Adding documentation on Canonical Structures

commit ab446279a8be27d4ff6d9a061401064c5d10a08f
Author: Bas Spitters <spitters@cs.ru.nl>
Date:   Mon Sep 2 21:35:17 2013 +0200

    Removing hProp as a Class. It is not needed.

commit 542599421969cbb8ebca1eee60890f4ae9ceb360
Author: Bas Spitters <spitters@cs.ru.nl>
Date:   Mon Sep 2 21:29:53 2013 +0200

    cleaning up

commit e1be7fce4b104113a3cc2654f8d6bd34d32ac9b5
Author: Bas Spitters <spitters@cs.ru.nl>
Date:   Mon Sep 2 09:43:06 2013 +0200

    Simplifying

commit 936372ec9aae1152545aa8984e0250f4556a05ec
Author: Bas Spitters <spitters@cs.ru.nl>
Date:   Sun Sep 1 09:13:20 2013 +0200

    Adding more documentation, applying JasonGross suggestions.

commit c96620f06144706ac4909499833322154dad4ed3
Author: Jason Gross <jgross@mit.edu>
Date:   Fri Aug 30 17:40:00 2013 -0400

    Remove use of funext-axiom

commit fd659a124d9360d2574ef408cb81206c6c864fd4
Author: Bas Spitters <spitters@cs.ru.nl>
Date:   Fri Aug 30 14:51:33 2013 +0200

    Removing one last admit.

commit 2d726fa8b30e231cd47f744ed6d7ee6cf3df91ae
Author: Bas Spitters <spitters@cs.ru.nl>
Date:   Fri Aug 30 11:34:43 2013 +0200

    No axioms left (apart from Funext).

    More documentation on the use of canonical structures.
    Moving between records and sigmas should now be easier.
    However, I am not sure whether this is the most optimal way of expressing this.
    There is still quite a bit of boiler plate code.

commit 35445877ef3006cd669839c0db75213f85d3a73f
Author: Bas Spitters <spitters@cs.ru.nl>
Date:   Thu Aug 29 20:58:02 2013 +0200

    Removing admits, one left due to universe inconsistency.
Autoupdate documentation with coqdoc to 2d66d3d

Generated with `make html` on commit:

commit 2d66d3d34f05c3b5b106fa0a0a53b404fd966a5f
Merge: 663ef61 dd98006
Author: Andrej Bauer <Andrej.Bauer@andrej.com>
Date:   Wed Sep 4 15:50:47 2013 -0700

    Merge pull request #206 from spitters/master

    Removing admits, one left due to universe inconsistency.

commit dd980069517b4f5c4944e98ce4e4366654191c93
Author: Bas Spitters <spitters@cs.ru.nl>
Date:   Wed Sep 4 09:01:25 2013 +0200

    More informaitve names

commit 6bee7dcf341f3bd0f2109c82833a7e25d82672c4
Author: Bas Spitters <spitters@cs.ru.nl>
Date:   Tue Sep 3 09:10:37 2013 +0200

    Cleaning up

commit 3a59d87439ff7f53cdf6e537c8b66892e2968ccb
Author: Bas Spitters <spitters@cs.ru.nl>
Date:   Mon Sep 2 22:49:47 2013 +0200

    docs

commit 2372396641f38b2116c0190c7be7788997b2ed9c
Author: Bas Spitters <spitters@cs.ru.nl>
Date:   Mon Sep 2 22:46:19 2013 +0200

    Docs

commit c1540bc49830b3149e16a49220148138546ae55a
Author: Bas Spitters <spitters@cs.ru.nl>
Date:   Mon Sep 2 21:55:45 2013 +0200

    Adding documentation on Canonical Structures

commit ab446279a8be27d4ff6d9a061401064c5d10a08f
Author: Bas Spitters <spitters@cs.ru.nl>
Date:   Mon Sep 2 21:35:17 2013 +0200

    Removing hProp as a Class. It is not needed.

commit 542599421969cbb8ebca1eee60890f4ae9ceb360
Author: Bas Spitters <spitters@cs.ru.nl>
Date:   Mon Sep 2 21:29:53 2013 +0200

    cleaning up

commit e1be7fce4b104113a3cc2654f8d6bd34d32ac9b5
Author: Bas Spitters <spitters@cs.ru.nl>
Date:   Mon Sep 2 09:43:06 2013 +0200

    Simplifying

commit 936372ec9aae1152545aa8984e0250f4556a05ec
Author: Bas Spitters <spitters@cs.ru.nl>
Date:   Sun Sep 1 09:13:20 2013 +0200

    Adding more documentation, applying JasonGross suggestions.

commit c96620f06144706ac4909499833322154dad4ed3
Author: Jason Gross <jgross@mit.edu>
Date:   Fri Aug 30 17:40:00 2013 -0400

    Remove use of funext-axiom

commit fd659a124d9360d2574ef408cb81206c6c864fd4
Author: Bas Spitters <spitters@cs.ru.nl>
Date:   Fri Aug 30 14:51:33 2013 +0200

    Removing one last admit.

commit 2d726fa8b30e231cd47f744ed6d7ee6cf3df91ae
Author: Bas Spitters <spitters@cs.ru.nl>
Date:   Fri Aug 30 11:34:43 2013 +0200

    No axioms left (apart from Funext).

    More documentation on the use of canonical structures.
    Moving between records and sigmas should now be easier.
    However, I am not sure whether this is the most optimal way of expressing this.
    There is still quite a bit of boiler plate code.

commit 35445877ef3006cd669839c0db75213f85d3a73f
Author: Bas Spitters <spitters@cs.ru.nl>
Date:   Thu Aug 29 20:58:02 2013 +0200

    Removing admits, one left due to universe inconsistency.
Autoupdate documentation with coqdoc

Generated with `make html`
Autoupdate documentation with coqdoc

Generated with `make html`
Autoupdate documentation with coqdoc

Generated with `make html`
Autoupdate documentation with coqdoc to 48c747c

Generated with `make html` on commit:

commit 48c747cceff4fe4a1bc05655a7abf4225135ad67
Author: Jason Gross <jgross@mit.edu>
Date:   Sat Sep 7 05:04:28 2013 -0400

    WIP