AFP 2013-1 Log


Commit Date  
[0eea72] by paulson

New AFP for HereditarilyFinite

2013-11-17 16:41:54 Tree
[c84e45] by paulson

new entry HereditarilyFinite

2013-11-17 16:19:58 Tree
[c6cf26] by nipkow

new entry Coinductive_Languages

2013-11-17 15:03:51 Tree
[c627c0] by kleing

update InformationFlowSlicing manually

2013-11-17 12:19:02 Tree
[783fa2] by kleing

update Example submission manually

2013-11-17 12:18:21 Tree
[8a8769] by kleing

make 2013 releases available as old releases

2013-11-17 12:06:40 Tree
[6e6e37] by gerwin.klein@nicta.com.au

chapter AFP for Graph_Theory

2013-11-17 09:02:23 Tree
[9c7522] by gerwin.klein@nicta.com.au

build verbosely

2013-11-17 06:43:02 Tree
[ca30e9] by gerwin.klein@nicta.com.au

update scripts to 2013-1

2013-11-17 06:34:43 Tree
[c1c76b] by gerwin.klein@nicta.com.au

remove Example submission from releases

2013-11-17 06:26:22 Tree
[c5c8ee] by gerwin.klein@nicta.com.au

update release dates

2013-11-17 06:22:24 Tree
[eb2ee0] by gerwin.klein@nicta.com.au

set website to release

2013-11-17 06:11:02 Tree
[291284] by Andreas Lochbihler

adapt JinjaThreads to changes in Coinductive and use coinduction to avoid boilerplate

2013-10-21 12:24:34 Tree
[b6576c] by Andreas Lochbihler

add lemma

2013-10-18 12:15:36 Tree
[7d22b8] by Andreas Lochbihler

use lnull discriminator

2013-10-18 12:08:26 Tree
[c708da] by Andreas Lochbihler

use descriminator instead of op =

2013-10-18 11:56:52 Tree
[0367a3] by Andreas Lochbihler

use coinduction method and get rid of boilerplate rules

2013-10-18 07:09:31 Tree
[0cf8e1] by gerwin.klein@nicta.com.au

imported changeset 03f1b04e011a from devel [Removed some ad-hoc-test code that was accidently left in]

2013-11-01 09:29:45 Tree
[dce609] by gerwin.klein@nicta.com.au

merged

2013-10-27 06:38:27 Tree
[5a0c76] by gerwin.klein@nicta.com.au

import devel patch: separate theory for normalizing Brzozowski derivatives

[changeset: d07db258f6c5, user: traytel, date: Thu Oct 24 12:28:14 2013 +0200]

2013-10-27 01:20:07 Tree
[583320] by gerwin.klein@nicta.com.au

Added tag Isabelle2013-1 for changeset 54a733668be9

2013-10-27 01:18:47 Tree
[c32d75] by lammich lammich

Added map_pick_remove - operation

2013-10-24 14:57:39 Tree
[0a2593] by lammich lammich

Added some useful lemmas

2013-10-24 14:57:13 Tree
[d3f65c] by lammich lammich

Added rule for rev

2013-10-24 14:56:50 Tree
[54a733] (Isabelle2013-1) by Rene Thiemann Rene Thiemann

no unfolding, which would lead to problems in code generation (rs_set)

2013-10-23 14:17:07 Tree
Older >