Skip to content
GitLab
Explore
Sign in
Register
isa-afp
afp-testboard-old
Repository
Branches
Overview
Active
Stale
All
wild/c261a0c41e52a7756369f12937b84e48b76e00cf
c261a0c41e52
·
regenerate with isabelle/
·
Feb 17, 2016
wild/4112beffdb476da4308f0de3140fd8c30363d2c0
4112beffdb47
·
adapt to Isabelle bd37a72a940a
·
Jun 21, 2016
wild/9620cf7a48b995b4c44975079c23b130a9ba107a
9620cf7a48b9
·
adapted to more default simp rules in distribution
·
Jun 30, 2016
wild/3969ef2856a0a5abc1d5fbef05c76e8d9d7c2b52
3969ef2856a0
·
adapted to more default simp rules in distribution
·
Jul 01, 2016
wild/d15ac73612a3d9abe573d3627c91e20f3b31dcb2
d15ac73612a3
·
adapted to more default simp rules in distribution
·
Jul 02, 2016
wild/e1a603e46ea76b411db4ae0c508c81d9e13ab137
e1a603e46ea7
·
pgfplots?
·
Jul 09, 2016
wild/1c55d325de03f8186cde7254749f37304e4a3c2c
1c55d325de03
·
testing sitegen
·
Jul 17, 2016
wild/e6b320c3cb212a8f31551f4387979cca6ef6f080
e6b320c3cb21
·
Second batch of AFP adjustments to new Factorial Rings
·
Jul 18, 2016
wild/5c4cfd838e2fd85db2d385fed770b4d78214f2ef
5c4cfd838e2f
·
is_prime -> prime
·
Aug 09, 2016
wild/811e3fb63bb732cfdd5322e36315928bff994851
811e3fb63bb7
·
restored original session name Ordinary_Differential_Equations for document...
·
Aug 10, 2016
wild/d2f9db174f445209ef2f42d48e0bc46370e0d5fc
d2f9db174f44
·
rename 'Finite_Map' theory to allow addition of 'Finite_Map' to HOL-Library
·
Sep 15, 2016
wild/d6b016c0771e6e86324a793fe40d4272853b81f5
d6b016c0771e
·
removing duplicate multiset lemmas
·
Sep 16, 2016
wild/c21edb091651e0cd05d12d29a729309cb9f599d7
c21edb091651
·
changed order of variables in d81fb5b46a5c
·
Sep 22, 2016
wild/6994bb90867aa79406246faef9a79e80079f4f63
6994bb90867a
·
Markov Models: add discrete-time Markov processes and continuous-time Markov...
·
Oct 04, 2016
wild/0c38ee0d6c01e204cc98cd3e3eafe247ec4f69f6
0c38ee0d6c01
·
removed devel-entry Multivariate_Polynomials and moved contents to entry Polynomials
·
Oct 28, 2016
wild/28b19f4259ce26e84cab08c5cdb227de5ee8c51e
28b19f4259ce
·
Updates for Iptables_Semantics and friends: multiport matches, output...
·
Nov 18, 2016
wild/64892e4eb63c60df17d4d2f8422b187071367c4d
64892e4eb63c
·
start work on partitions
·
Dec 09, 2016
wild/763ce3f4535aa654175411654a59ef9099f6fdec
763ce3f4535a
·
start work on partitions
·
Dec 09, 2016
wild/c698eec1f1f94a6be01349ac3eb01d4a73a33254
c698eec1f1f9
·
testboard
·
Jan 25, 2017
wild/d7437189a0a30c9135b55a21f866f97794199da5
d7437189a0a3
·
moved mono_neutral_cong to Isabelle 20a623d03d71
·
Feb 02, 2017
Prev
1
2
3
4
5
6
Next