Filewatcher File Search File Search
Catalog
Content Search
» » » »

ssreflect_1.3pl4.orig.tar.gz

Homepage:-
Package version:-
Architecture:-
Distribution:Debian
Filename:ssreflect_1.3pl4.orig.tar.gz

/ssreflect-1.3pl4/README

	THE SSREFLECT EXTENSION FOR THE COQ SYSTEM
        ------------------------------------------


INSTALLATION
============

	See the file INSTALL for installation procedure.


DOCUMENTATION
=============

	The documentation of the ssreflect tactics, a brief
        description of the libraries contained in the theories/ directory
        of the archive, and a detailed list of the changes made in t
more»

/ssreflect-1.3pl4/doc/changes13.v

(* (c) Copyright Microsoft Corporation and Inria.                       *)
(* You may distribute this file under the terms of the CeCILL-B license *)
Require Import ssreflect ssrbool eqtype ssrnat fintype.

Set Implicit Arguments.
Unset Strict Implicit.
Unset Printing Implicit Defensive.

(* unfold expanding head constant of pattern *)
Definition double x := x + x.
Definition ddouble x := double (
more»

/ssreflect-1.3pl4/AUTHORS

Andrea Asperti      University of Bologna - Microsoft Inria Joint Centre
Jeremy Avigad       Carnegie Mellon University - Microsoft Inria Joint Centre
Yves Bertot         INRIA Sophia Antipolis - Microsoft Inria Joint Centre
Cyril Cohen         LIX �cole Polytechnique - Microsoft Inria Joint Centre  	
Fran�ois Garillot   Microsoft Inria Joint Centre
Georges Gonthier    Microsoft Research Cambridge
more»

Browse inside ssreflect_1.3pl4.orig.tar.gz

         [DIR]ssreflect-1.3pl4/ (13)

Download ssreflect_1.3pl4.orig.tar.gz

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com