HomeIsabelle/Phabricator
Authored by paulson.

Description

merged

Event Timeline

Merged Changes

CommitAuthorDetailsCommitted
b2241741f50fAlexander Bentkamp
fix imports 
Jan 28
ce989c675f3aAlexander Bentkamp
move lemma less_multiset_doubletons 
Jan 28
dc7cc57f1157Alexander Bentkamp
Lambda-free orders: restrict totality to one set 
Jan 28
766bfc31745eAlexander Bentkamp
merge 
Jan 28
8cbd1aadff7cAlexander Bentkamp
EPO: adapt totality proof to suit paper 
Jan 24
a0d561998f20kleing
closed branch 
Mar 20 2018
8e995d947fb0Gerwin Klein
closed pull-request branch 
May 24 2016
249c2b58d173Gerwin Klein
closed merged branch 
May 11 2016
ad14484777fcgerwin.klein@nicta.com.au
merged 
Apr 24 2016
e3e858bfc9ebkleing
merged 
Apr 24 2016
4bea345493ddSalomon Sickert
Closed branch ltl 
Mar 30 2016
53421953ad96Salomon Sickert
WIP/LTL Entry 
Feb 25 2016