]> matita.cs.unibo.it Git - fireball-separation.git/log
fireball-separation.git
6 years agoNew ac's attempt at defining distinction with garbage
acondolu [Tue, 12 Jun 2018 10:27:25 +0000 (12:27 +0200)]
New ac's attempt at defining distinction with garbage

6 years agoTentative definitions of variable names and variable paths
acondolu [Fri, 8 Jun 2018 21:41:12 +0000 (23:41 +0200)]
Tentative definitions of variable names and variable paths

6 years agoTentative definition of unlockable variable
acondolu [Thu, 7 Jun 2018 14:58:59 +0000 (16:58 +0200)]
Tentative definition of unlockable variable

6 years agoSyntactic fixes to distinction + Some commented out definitions to be used in the...
acondolu [Thu, 7 Jun 2018 07:28:03 +0000 (09:28 +0200)]
Syntactic fixes to distinction + Some commented out definitions to be used in the future

6 years agoAdded file with strong calculus and definition of distinction
acondolu [Tue, 5 Jun 2018 17:44:05 +0000 (19:44 +0200)]
Added file with strong calculus and definition of distinction

6 years agoThoughts on sigma-separation and a good sufficient condition
acondolu [Mon, 4 Jun 2018 23:31:39 +0000 (01:31 +0200)]
Thoughts on sigma-separation and a good sufficient condition

6 years agoFixes
acondolu [Tue, 29 May 2018 16:40:06 +0000 (18:40 +0200)]
Fixes

6 years agoAdded strong calculus for separation, plus some ac's notes
acondolu [Tue, 29 May 2018 14:01:51 +0000 (16:01 +0200)]
Added strong calculus for separation, plus some ac's notes

6 years agoAdded AC's local stub of a report on strong separation
acondolu [Tue, 29 May 2018 12:45:16 +0000 (14:45 +0200)]
Added AC's local stub of a report on strong separation

7 years agoInitial commit
Andrea Condoluci [Mon, 12 Jun 2017 20:17:57 +0000 (22:17 +0200)]
Initial commit