| #
f5796e6d |
|
14-Feb-2018 |
wenzelm <none@none> |
more symbols;
|
| #
a7ccdf43 |
|
10-Jan-2018 |
nipkow <none@none> |
ran isabelle update_op on all sources
|
| #
c7cc1919 |
|
26-Nov-2017 |
wenzelm <none@none> |
more symbols;
|
| #
bf5ee1bb |
|
31-Mar-2016 |
traytel <none@none> |
tuned interface
|
| #
6b18406f |
|
16-Feb-2016 |
traytel <none@none> |
make predicator a first-class bnf citizen
|
| #
df44ab4c |
|
27-Aug-2015 |
haftmann <none@none> |
standardized some occurences of ancient "split" alias
--HG--
extra : rebase_source : 706ba501d5c0596a2bde6e46d42aa8464a91ede5
|
| #
45936566 |
|
12-Aug-2015 |
traytel <none@none> |
new command for lifting BNF structure over typedefs
|
| #
1901affb |
|
18-Jul-2015 |
wenzelm <none@none> |
isabelle update_cartouches;
|
| #
794edf80 |
|
02-Nov-2014 |
wenzelm <none@none> |
modernized header uniformly as section;
|
| #
ffb23fae |
|
16-Sep-2014 |
blanchet <none@none> |
tuned fact visibility
|
| #
2b1df9ac |
|
09-Sep-2014 |
blanchet <none@none> |
hide DEADID/ID theorems
|
| #
eeeb6513 |
|
04-Sep-2014 |
blanchet <none@none> |
renamed internal constant
|
| #
2326a269 |
|
01-Sep-2014 |
blanchet <none@none> |
renamed BNF theories
--HG--
rename : src/HOL/BNF_Comp.thy => src/HOL/BNF_Composition.thy
rename : src/HOL/BNF_FP_Base.thy => src/HOL/BNF_Fixpoint_Base.thy
rename : src/HOL/BNF_GFP.thy => src/HOL/BNF_Greatest_Fixpoint.thy
rename : src/HOL/BNF_LFP.thy => src/HOL/BNF_Least_Fixpoint.thy
|